From bf138748416195df13f68c097c750e1d388ac0de Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 28 Mar 2012 13:45:07 +0000
Subject: A file with the version number

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1857 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 VERSION | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 VERSION

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
new file mode 100644
index 00000000..de44e0d0
--- /dev/null
+++ b/VERSION
@@ -0,0 +1 @@
+1.11-devel
-- 
cgit