aboutsummaryrefslogtreecommitdiff
path: root/trunk/debian/source/format
diff options
context:
space:
mode:
authorhattenberger2013-03-27 13:17:19 +0000
committerhattenberger2013-03-27 13:17:19 +0000
commita17272283c803e13258e5dc6b19533c672ceee18 (patch)
tree0fa7737e21fe1147c860a84b18676cd99a80fdb1 /trunk/debian/source/format
parent003d66dc1fabc063372e4f03265935d0ccaefd78 (diff)
downloadivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.zip
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.gz
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.bz2
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.xz
some fixes in ivy-ocaml tag 1.2
Diffstat (limited to 'trunk/debian/source/format')
-rw-r--r--trunk/debian/source/format1
1 files changed, 1 insertions, 0 deletions
diff --git a/trunk/debian/source/format b/trunk/debian/source/format
new file mode 100644
index 0000000..89ae9db
--- /dev/null
+++ b/trunk/debian/source/format
@@ -0,0 +1 @@
+3.0 (native)