diff options
Diffstat (limited to 'trunk/META.glibivy')
| -rw-r--r-- | trunk/META.glibivy | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/trunk/META.glibivy b/trunk/META.glibivy deleted file mode 100644 index 50818cb..0000000 --- a/trunk/META.glibivy +++ /dev/null @@ -1,4 +0,0 @@ -version="1.2" -directory="+ivy" -archive(byte)="glibivy-ocaml.cma" -archive(native)="glibivy-ocaml.cmxa" |