diff options
Diffstat (limited to 'doc/version.texi')
-rw-r--r-- | doc/version.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/version.texi b/doc/version.texi deleted file mode 100644 index b3e6e4c..0000000 --- a/doc/version.texi +++ /dev/null | |||
@@ -1,4 +0,0 @@ | |||
1 | @set UPDATED 28 August 2012 | ||
2 | @set UPDATED-MONTH August 2012 | ||
3 | @set EDITION 0.7.0 | ||
4 | @set VERSION 0.7.0 | ||