Mercurial > urweb

comparison src/settings.sml @ 1633:deeeb036c8ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat [naughtyDebug] as pure for optimization purposes
author Adam Chlipala <adam@chlipala.net>
date Mon, 05 Dec 2011 10:43:06 -0500
parents 438561303d02
children e374b6b8ab38
comparison
equal deleted inserted replaced
1632:4682b312e9d5 1633:deeeb036c8ed
141 "onConnectFail", 141 "onConnectFail",
142 "onDisconnect", 142 "onDisconnect",
143 "onServerError", 143 "onServerError",
144 "kc", 144 "kc",
145 "debug", 145 "debug",
146 "naughtyDebug",
147 "rand", 146 "rand",
148 "now", 147 "now",
149 "getHeader", 148 "getHeader",
150 "setHeader", 149 "setHeader",
151 "spawn", 150 "spawn",