diff options
Diffstat (limited to 'src/common.mli')
-rw-r--r-- | src/common.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/common.mli b/src/common.mli index 86a13cd..9a30f9d 100644 --- a/src/common.mli +++ b/src/common.mli @@ -214,7 +214,6 @@ val readlines : in_channel -> string list val split_at : char -> string -> string list val split_at2 : char -> char -> string -> string list val words : string -> string list -val to_CamelCase : string -> string option val concat_symlink : string -> string -> string val expand_symlinks : string -> string val mtime : string -> float |