diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-29 13:38:27 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-29 13:38:27 -0700 |
| commit | 43ad34645cd2dd18553a5e647a951963b91f322e (patch) | |
| tree | e91364ae70b9b009d60fadb4d6a1dfe9a82b73e7 /lib/client_options.mli | |
| parent | Compression!!! (diff) | |
| download | disml-43ad34645cd2dd18553a5e647a951963b91f322e.tar.xz disml-43ad34645cd2dd18553a5e647a951963b91f322e.zip | |
A few improvements to how compression is handled internally
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 455ed58..42d3eee 100644 --- a/lib/client_options.mli +++ b/lib/client_options.mli @@ -1,4 +1,3 @@ (** Token that is set when using {!Client.start} *)
val token : string ref
-val large_threshold : int ref
-val compress : bool ref
\ No newline at end of file +val large_threshold : int ref
\ No newline at end of file |