Mercurial > urweb

diff src/settings.sml @ 1624:f96e708b4b93

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Client-side strlenGe
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:05:06 -0500
parents c6cc104a47ac
children bd34a4af516a
line wrap: on
line diff
--- a/src/settings.sml	Sat Dec 03 15:59:21 2011 -0500
+++ b/src/settings.sml	Sat Dec 03 16:05:06 2011 -0500
@@ -248,6 +248,7 @@
                           ("strchr", "schr"),
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),
+                          ("strlenGe", "strlenGe"),
                           ("kc", "kc"),
                           ("minTime", "0"),