HCoop
/
hcoop
/
zz_old
/
fwtool.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6e5c291
)
Go live with real firewall path
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 2 Oct 2005 16:07:53 +0000
(16:07 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 2 Oct 2005 16:07:53 +0000
(16:07 +0000)
config.sml
patch
|
blob
|
blame
|
history
diff --git
a/config.sml
b/config.sml
index
843281a
..
8f2d76e
100644
(file)
--- 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