Mercurial > urweb
diff src/compiler.sig @ 1799:3d922a28370b
Basis.getenv
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 02 Aug 2012 16:33:25 -0400 |
parents | c414850f206f |
children | 38297294cf98 |
line wrap: on
line diff
--- a/src/compiler.sig Sun Jul 29 12:54:17 2012 -0400 +++ b/src/compiler.sig Thu Aug 02 16:33:25 2012 -0400 @@ -54,6 +54,7 @@ filterMime : Settings.rule list, filterRequest : Settings.rule list, filterResponse : Settings.rule list, + filterEnv : Settings.rule list, protocol : string option, dbms : string option, sigFile : string option,