Mercurial > urweb

diff src/compiler.sml @ 1629:438561303d02

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
timeFormat .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 14:40:12 -0500
parents f4453e2402d0
children e374b6b8ab38
line wrap: on
line diff
--- a/src/compiler.sml	Sat Dec 03 17:25:51 2011 -0500
+++ b/src/compiler.sml	Sun Dec 04 14:40:12 2011 -0500
@@ -799,6 +799,7 @@
                                        | SOME n => minHeap := n)
                                   | "alwaysInline" => Settings.addAlwaysInline arg
                                   | "noXsrfProtection" => Settings.addNoXsrfProtection arg
+                                  | "timeFormat" => Settings.setTimeFormat arg
 
                                   | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                 read ()