diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
commit | a0d66adaeceaa07e4006a0570211f7453a5b5738 (patch) | |
tree | 581b53bb4d82cac2212320264ce1dc0de8d8f263 /src/settings.sig | |
parent | ff19a9c86b380918f50e294848be06f29b2ba1dd (diff) |
Tweak cache consolidation and choose better default.
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/settings.sig b/src/settings.sig index d4bb4b08..e94832e0 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -281,8 +281,6 @@ signature SETTINGS = sig val setSqlcache : bool -> unit val getSqlcache : unit -> bool - val setSqlcacheHeuristic : string -> unit - val getSqlcacheHeuristic : unit -> string val setFilePath : string -> unit (* Sets the directory where we look for files being added below. *) |