Mercurial > urweb
diff src/settings.sig @ 2301:8d772fbf59c1
Tweak cache consolidation and choose better default.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 20 Nov 2015 03:26:21 -0500 |
parents | 47d5c94aeeb8 |
children | 6fb9232ade99 |
line wrap: on
line diff
--- a/src/settings.sig Thu Nov 19 18:13:01 2015 -0500 +++ b/src/settings.sig Fri Nov 20 03:26:21 2015 -0500 @@ -281,8 +281,6 @@ 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. *)