diff options
author | hattenberger | 2013-02-22 16:05:16 +0000 |
---|---|---|
committer | hattenberger | 2013-02-22 16:05:16 +0000 |
commit | e21fa0025a7a310aacd105a5caf945bfc53b0b7c (patch) | |
tree | 360884184e609306601fda4781c1bfb64b0aa2e8 /debian | |
parent | b03001c17150b87e32d455e06540f6167f4f5d65 (diff) | |
download | ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.zip ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.gz ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.bz2 ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.xz |
back to ivy-ocaml naming and add source format (native)
Diffstat (limited to 'debian')
-rw-r--r-- | debian/source/format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..89ae9db --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (native) |