diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-29 10:01:35 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-29 10:01:35 -0700 |
| commit | 16cba5acd05093c66ab1432b40d40605c1098407 (patch) | |
| tree | 28adffb77476315809fe133993c243c036447dc4 /lib/client_options.ml | |
| parent | Remove outdated docs (diff) | |
| download | disml-16cba5acd05093c66ab1432b40d40605c1098407.tar.xz disml-16cba5acd05093c66ab1432b40d40605c1098407.zip | |
Add client options
Diffstat (limited to 'lib/client_options.ml')
| -rw-r--r-- | lib/client_options.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/client_options.ml b/lib/client_options.ml index 0571fea..6a0d261 100644 --- a/lib/client_options.ml +++ b/lib/client_options.ml @@ -1 +1,3 @@ -let token = ref ""
\ No newline at end of file +let token = ref "" +let large_threshold = ref 250 +let compress = ref false
\ No newline at end of file |