File r38/patches.tst artifact 34f5f2711f part of check-in 2bf132ecc3
% This file tests some of the patches included in the patches.red file. % If the latter file has been correctly installed, none of these should % give an error. end;
% This file tests some of the patches included in the patches.red file. % If the latter file has been correctly installed, none of these should % give an error. end;