Mercurial > urweb
diff src/settings.sml @ 1625:bd34a4af516a
Change client-side debug to use console.debug
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 03 Dec 2011 16:25:09 -0500 |
parents | f96e708b4b93 |
children | 438561303d02 |
line wrap: on
line diff
--- a/src/settings.sml Sat Dec 03 16:05:06 2011 -0500 +++ b/src/settings.sml Sat Dec 03 16:25:09 2011 -0500 @@ -270,8 +270,8 @@ ("lt_time", "lt"), ("le_time", "le"), - ("debug", "alert"), - ("naughtyDebug", "alert"), + ("debug", "uw_debug"), + ("naughtyDebug", "uw_debug"), ("floatFromInt", "float"), ("ceil", "ceil"),