From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Thu, 16 Nov 2000 22:38:21 +0000 (+0000)
Subject: removed non-sources from CVS
X-Git-Tag: release_0-7-0~12
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=c3a0b9648d77876b2f6994dedc8ed64a0babffbf;ds=sidebyside

removed non-sources from CVS
---

diff --git a/doc/tutorial/stamp-vti b/doc/tutorial/stamp-vti
deleted file mode 100644
index 048d976b..00000000
--- a/doc/tutorial/stamp-vti
+++ /dev/null
@@ -1,3 +0,0 @@
-@set UPDATED 25 October 2000
-@set EDITION 0.6.4
-@set VERSION 0.6.4
diff --git a/doc/tutorial/version.texi b/doc/tutorial/version.texi
deleted file mode 100644
index 048d976b..00000000
--- a/doc/tutorial/version.texi
+++ /dev/null
@@ -1,3 +0,0 @@
-@set UPDATED 25 October 2000
-@set EDITION 0.6.4
-@set VERSION 0.6.4