From ed33c0487a48a2f5f1286be06b7eb78d76814030 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 2 Oct 2005 16:07:53 +0000 Subject: [PATCH] Go live with real firewall path --- config.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.sml b/config.sml index 843281a..8f2d76e 100644 --- a/config.sml +++ b/config.sml @@ -21,7 +21,7 @@ Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA structure Config = struct -val fwdir = "/home/adamc_admin" +val fwdir = "/etc/firewall" (* Where firewall config lives *) end -- 2.20.1