summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Ryde <user42@zip.com.au>2001-12-01 20:42:02 +0100
committerKevin Ryde <user42@zip.com.au>2001-12-01 20:42:02 +0100
commit69d6eb37e906802df1cb71ea8d81cc4f1ca72e57 (patch)
treec8b305a179e0e1a556993751de9e302b02a64c35
parent19f3371d0b8e7d2c64eb5c3a08ab17a110cb48af (diff)
downloadgmp-69d6eb37e906802df1cb71ea8d81cc4f1ca72e57.tar.gz
Remove again, after "Copyright (C) -> Copyright" brought it back to life.
-rw-r--r--stamp-vti3
1 files changed, 0 insertions, 3 deletions
diff --git a/stamp-vti b/stamp-vti
deleted file mode 100644
index 256cc9fe7..000000000
--- a/stamp-vti
+++ /dev/null
@@ -1,3 +0,0 @@
-@set UPDATED 15 October 2000
-@set EDITION 3.1
-@set VERSION 3.1