diff options
| author | Adelyn Breelove <[email protected]> | 2019-02-04 14:43:17 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-02-04 14:43:17 -0700 |
| commit | ca3c00d8d16f36bc959f5e1ca628aeffc4326492 (patch) | |
| tree | 628a30c88b84274ac28572f5e85ed78d428471a5 /lib/client_options.ml | |
| parent | Oof, put CI script change in wrong job (diff) | |
| download | disml-ca3c00d8d16f36bc959f5e1ca628aeffc4326492.tar.xz disml-ca3c00d8d16f36bc959f5e1ca628aeffc4326492.zip | |
Move large_threshold to shard storage, as it isn't needed elsewhere
Diffstat (limited to 'lib/client_options.ml')
| -rw-r--r-- | lib/client_options.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/client_options.ml b/lib/client_options.ml index 0b52006..0571fea 100644 --- a/lib/client_options.ml +++ b/lib/client_options.ml @@ -1,2 +1 @@ -let token = ref "" -let large_threshold = ref 250
\ No newline at end of file +let token = ref ""
\ No newline at end of file |