diff src/settings.sig @ 1629:438561303d02

timeFormat .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 14:40:12 -0500
parents a10d080123ec
children e374b6b8ab38
line wrap: on
line diff
--- a/src/settings.sig	Sat Dec 03 17:25:51 2011 -0500
+++ b/src/settings.sig	Sun Dec 04 14:40:12 2011 -0500
@@ -230,4 +230,7 @@
 
     val addNoXsrfProtection : string -> unit
     val checkNoXsrfProtection : string -> bool
+
+    val setTimeFormat : string -> unit
+    val getTimeFormat : unit -> string
 end