diff src/settings.sml @ 1685:225b87d4a7df

Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Feb 2012 11:01:06 -0500
parents ac141fbb313a
children c414850f206f
line wrap: on
line diff
--- a/src/settings.sml	Sat Feb 04 10:42:18 2012 -0500
+++ b/src/settings.sml	Sat Feb 04 11:01:06 2012 -0500
@@ -286,6 +286,8 @@
                           ("toSeconds", "toSeconds"),
                           ("addSeconds", "addSeconds"),
                           ("diffInSeconds", "diffInSeconds"),
+                          ("toMilliseconds", "toMilliseconds"),
+                          ("diffInMilliseconds", "diffInMilliseconds"),
 
                           ("onClick", "uw_onClick"),
                           ("onDblclick", "uw_onDblclick"),