From df8e31a8ae8fda0499f209ebd6efadbe544d4549 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Tue, 16 Nov 1999 10:22:42 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r2531, which included commits to RCS files with non-trunk default branches.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2532 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