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

(limited to 'trunk/glibIvy.mli')

diff --git a/trunk/glibIvy.mli b/trunk/glibIvy.mli
deleted file mode 100644
index 3df31b6..0000000
--- a/trunk/glibIvy.mli
+++ /dev/null
@@ -1,13 +0,0 @@
-val main : unit -> unit
-(** Glib main loop *)
-
-type channel
-(** Channel handled by the main loop *)
-
-val set_up_channel : Unix.file_descr -> (unit -> unit) -> (channel -> unit) -> channel
-(** [set_up_channel fd delete read] gives the opportunity to the main loop
-to call [read] when data is available on [fd] and [delete] when [fd] is 
-closed *)
-
-val close_channel : channel -> unit
-(** Stops the handling of a channel by the main loop *)
-- 
cgit v1.1