diff options
author | Kevin Ryde <user42@zip.com.au> | 2001-12-01 01:44:30 +0100 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2001-12-01 01:44:30 +0100 |
commit | 557ed9ed29249fb83b26214a013e27886aa20774 (patch) | |
tree | ab6ed0e152d81a5fe2211634634c8b88160ad00f | |
parent | f96d4caf0c1b91bce511c3197f2adaf4a7e3eee9 (diff) | |
download | gmp-557ed9ed29249fb83b26214a013e27886aa20774.tar.gz |
Stop this coming out in a cvs export (previous (C) -> Copyright checkin
was a mistake).
-rw-r--r-- | version.texi | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/version.texi b/version.texi deleted file mode 100644 index 256cc9fe7..000000000 --- a/version.texi +++ /dev/null @@ -1,3 +0,0 @@ -@set UPDATED 15 October 2000 -@set EDITION 3.1 -@set VERSION 3.1 |