diff options
Diffstat (limited to 'lib/client_options.mli')
| -rw-r--r-- | lib/client_options.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/client_options.mli b/lib/client_options.mli index 42d3eee..edf80e1 100644 --- a/lib/client_options.mli +++ b/lib/client_options.mli @@ -1,3 +1,2 @@ (** Token that is set when using {!Client.start} *)
-val token : string ref
-val large_threshold : int ref
\ No newline at end of file +val token : string ref
\ No newline at end of file |