13 lines
280 B
Plaintext
13 lines
280 B
Plaintext
Index: files.ml
|
|
--- files.ml.orig
|
|
+++ files.ml
|
|
@@ -722,7 +722,7 @@ let get_files_in_directory dir =
|
|
with End_of_file ->
|
|
dirh.System.closedir ()
|
|
end;
|
|
- Sort.list (<) !files
|
|
+ List.sort String.compare !files
|
|
|
|
let ls dir pattern =
|
|
Util.convertUnixErrorsToTransient
|