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,