Mercurial > urweb

diff src/compiler.sig @ 1164:8679ba87cf3c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents e77079953308
children 52c6ac6a59f1
line wrap: on
line diff
--- a/src/compiler.sig	Tue Feb 09 20:08:59 2010 -0500
+++ b/src/compiler.sig	Thu Feb 11 09:10:01 2010 -0500
@@ -51,7 +51,8 @@
          filterUrl : Settings.rule list,
          filterMime : Settings.rule list,
          protocol : string option,
-         dbms : string option
+         dbms : string option,
+         sigFile : string option
     }
     val compile : string -> bool
     val compiler : string -> unit