diff options
-rw-r--r-- | etc/srecode/texi.srt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/srecode/texi.srt b/etc/srecode/texi.srt index 2aa97b9298c..06a12b05690 100644 --- a/etc/srecode/texi.srt +++ b/etc/srecode/texi.srt @@ -33,11 +33,6 @@ template empty :file :user :time "Fill a new texinfo file with some baseline stuff." ---- \input texinfo @c -*-texinfo-*- -$#RCS$ -@c -@c $Id: texi.srt,v 1.2 2009/10/04 00:01:24 gm Exp $ -@c -$/RCS$ @c %**start of header @setfilename $FILE$.info @set TITLE $?NAME$ |