From ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Tue, 30 Nov 1999 14:59:39 +0000
Subject: Add to HEAD branch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 otherlibs/labltk/browser/useunix.mli | 8 ++++++++
 1 file changed, 8 insertions(+)
 create 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
new file mode 100644
index 000000000..23699155a
--- /dev/null
+++ b/otherlibs/labltk/browser/useunix.mli
@@ -0,0 +1,8 @@
+(* $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