From 27c082c04663ff18459777e111aca4cde20df265 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Tue, 16 Nov 1999 10:29:03 +0000
Subject: leave labltk only in olabl branch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 otherlibs/labltk/browser/useunix.mli | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 otherlibs/labltk/browser/useunix.mli

(limited to 'otherlibs/labltk/browser/useunix.mli')

diff --git a/otherlibs/labltk/browser/useunix.mli b/otherlibs/labltk/browser/useunix.mli
deleted file mode 100644
index 23699155a..000000000
--- a/otherlibs/labltk/browser/useunix.mli
+++ /dev/null
@@ -1,8 +0,0 @@
-(* $Id$ *)
-
-(* Unix utilities *)
-
-val get_files_in_directory : string -> string list
-val is_directory : string -> bool
-val get_directories_in_files : path:string -> string list -> string list
-val subshell : cmd:string -> string list
-- 
cgit v1.2.3-70-g09d2