Add a VERSION file, for the distrib.

diff --git a/VERSION b/VERSION
new file mode 100644 (file)
index 0000000..d434141
--- /dev/null
+++ b/VERSION
@@ -0,0 +1,7 @@
+For the record:
+
+These files are from a Git checkout at commit
+9d9c8ca7da544a3bfd4c7209b98721a8c5812c67 (tag "exp_20120315").
+
+The Git repository is viewable at URL
+http://info.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/ (restricted access).