diff options
| author | hattenberger | 2013-05-01 22:48:44 +0000 |
|---|---|---|
| committer | hattenberger | 2013-05-01 22:48:44 +0000 |
| commit | d567e908db2e1acec01d0798bd7e8af6c084dba4 (patch) | |
| tree | 6b6eb46c9ea53360eda9127e54efb22acd857bbe /trunk/examples/glibivyprobe.ml | |
| parent | 7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d (diff) | |
| download | ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.zip ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.gz ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.bz2 ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.xz | |
remove accidental trunk dir
Diffstat (limited to 'trunk/examples/glibivyprobe.ml')
| -rw-r--r-- | trunk/examples/glibivyprobe.ml | 9 |
1 files changed, 0 insertions, 9 deletions
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 () |