Displaying 1 result from an estimated 1 matches for "24f8f83".
Did you mean:
248783
2015 Sep 01
3
[PATCH 1/3] mllib: make few command line options stuff private
..._short_options, and
display_long_options private, as set_standard_options now takes care of
handling the job for the common command line options.
---
mllib/common_utils.mli | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/mllib/common_utils.mli b/mllib/common_utils.mli
index 79032bc..24f8f83 100644
--- a/mllib/common_utils.mli
+++ b/mllib/common_utils.mli
@@ -90,10 +90,6 @@ val info : ('a, unit, string, unit) format4 -> 'a
val run_main_and_handle_errors : (unit -> unit) -> unit
(** Common function for handling pretty-printing exceptions. *)
-val print_version_and_e...