Add syntax checking of proposed firewall rules
authorAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 22:23:48 +0000 (22:23 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 22:23:48 +0000 (22:23 +0000)
commit308f44e78b673e268c46ec630a05c055494089fd
tree983fb495fa143a36fb2cee10600bacbdb68af294
parent3d2ed222004f3cf2066af19faa55151ab48951cb
Add syntax checking of proposed firewall rules
sec.mlt
sec.sig
sec.sml
tables.sql