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

(limited to 'trunk/examples/glibivyprobe.ml')

diff --git a/trunk/examples/glibivyprobe.ml b/trunk/examples/glibivyprobe.ml
deleted file mode 100644
index fb7e1f3..0000000
--- a/trunk/examples/glibivyprobe.ml
+++ /dev/null
@@ -1,9 +0,0 @@
-(* $Id$ *)
-
-let _ =
-  Ivyprobe.init ();
-  try
-    ignore (GlibIvy.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin));
-    GlibIvy.main ()
-  with
-    End_of_file -> Ivy.stop ()
-- 
cgit v1.1