chiark / gitweb /
Generally bring up-to-date.
[runlisp] / texinice.tex
index b31dce9155792d5d3c955965a6a92c5d949a976a..bb2b6780f9629e04885e20170b68a676978ab7bd 100644 (file)
@@ -1,7 +1,5 @@
 @tex % -*-tex-*-
 %
-% $Id: texinice.tex,v 1.2 2004/04/08 01:36:24 mdw Exp $
-%
 % Make Texinfo printed output look nice
 %
 % (c) 1998 Mark Wooding