From d567e908db2e1acec01d0798bd7e8af6c084dba4 Mon Sep 17 00:00:00 2001 From: hattenberger Date: Wed, 1 May 2013 22:48:44 +0000 Subject: remove accidental trunk dir --- trunk/META.glibivy | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 trunk/META.glibivy (limited to 'trunk/META.glibivy') 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" -- cgit v1.1