Mercurial > urweb

comparison src/settings.sml @ 2082:1b76ae703cbb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some more optimization of string expressions showing up in JSON generation (Meta library)
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Dec 2014 21:06:15 -0500
parents ced78ef1c82f
children 6b7749da1ddc 365727ff68f4
comparison
equal deleted inserted replaced
2081:d4ed20beb93b 2082:1b76ae703cbb