version.texi is a generated file - it must not be kept in the rep.
This commit is contained in:
parent
e5210c298a
commit
9391c9b564
@ -1,4 +0,0 @@
|
||||
@set UPDATED 3 September 2002
|
||||
@set UPDATED-MONTH September 2002
|
||||
@set EDITION 0.3.12
|
||||
@set VERSION 0.3.12
|
Loading…
Reference in New Issue
Block a user