diff options
Diffstat (limited to 'debian-el.texi')
-rw-r--r-- | debian-el.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian-el.texi b/debian-el.texi index 468e3d6..37b53c6 100644 --- a/debian-el.texi +++ b/debian-el.texi @@ -1,7 +1,7 @@ @c -*- mode: texinfo -*- \input texinfo -@c $Id$ +@c $Id: debian-el.texi,v 1.7 2008-04-12 13:10:57 psg Exp $ @c %**start of header @setfilename info/debian-el @settitle debian-el |