summaryrefslogtreecommitdiffstats
path: root/doc/ada_user/version.texi
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--doc/ada_user/version.texi4
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/ada_user/version.texi b/doc/ada_user/version.texi
deleted file mode 100644
index c0e4bbb7b6..0000000000
--- a/doc/ada_user/version.texi
+++ /dev/null
@@ -1,4 +0,0 @@
-@set UPDATED 17 July 2015
-@set UPDATED-MONTH July 2015
-@set EDITION 4.10.99.0
-@set VERSION 4.10.99.0