summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-09-17 09:04:12 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-09-17 09:04:12 +0000
commit4414aaa31fe17d0e6bed88e708e134b7d4c09334 (patch)
treeb891ff9c15d3571649d7aa63187d47b7d5bbec0a
parent6e26eaa520d7d2e4efbafef5b5e8450613cdb5e7 (diff)
Trim blank lines
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2625 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r--VERSION2
1 files changed, 0 insertions, 2 deletions
diff --git a/VERSION b/VERSION
index dd0e7d1..6b4950e 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1 @@
2.4
-
-