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/glibIvy.ml | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 trunk/glibIvy.ml

(limited to 'trunk/glibIvy.ml')

diff --git a/trunk/glibIvy.ml b/trunk/glibIvy.ml
deleted file mode 100644
index 17919c5..0000000
--- a/trunk/glibIvy.ml
+++ /dev/null
@@ -1,8 +0,0 @@
-
-type channel
-external main : unit -> unit = "ivy_GtkmainLoop"
-external ext_channelSetUp : Unix.file_descr -> string -> channel = "ivy_GtkchannelSetUp" 
-let set_up_channel fd delete read =
-  ext_channelSetUp fd (Ivy.cb_register read)
-external close_channel : channel -> unit = "ivy_GtkchannelClose"
-
-- 
cgit v1.1