diff src/settings.sml @ 1404:82b204f20026

Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 10:40:40 -0500
parents 802c179dac1f
children 07ef5771568d
line wrap: on
line diff
--- a/src/settings.sml	Tue Jan 18 13:32:48 2011 -0500
+++ b/src/settings.sml	Thu Jan 20 10:40:40 2011 -0500
@@ -219,6 +219,7 @@
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),
                           ("kc", "kc"),
+                          ("minTime", "0"),
 
                           ("islower", "isLower"),
                           ("isupper", "isUpper"),