Richard M. Stallman a246d3132e Formerly make-stds.texi.~2~		1993-01-11 22:29:30 +00:00
..
make-stds.texi	Formerly make-stds.texi.~2~	1993-01-11 22:29:30 +00:00
standards.texi	Formerly standards.texi.~19~	1992-05-19 01:03:10 +00:00