robert d118700f90 our ranlib can now take multiple files at once, no need for this hack anymore ... prodded by Brad		2022-11-06 19:59:36 +00:00
..
patch-src_gData_ml	drop RCS Ids	2022-03-11 20:15:18 +00:00
patch-src_gData_mli	drop RCS Ids	2022-03-11 20:15:18 +00:00
patch-src_Makefile	our ranlib can now take multiple files at once, no need for this hack anymore	2022-11-06 19:59:36 +00:00