HCoop / clinton / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 167cfff) | patch
Quiet compiler warning for Firewall.format{Input,Output}Rules
authorClinton Ebadi <clinton@unknownlamer.org>
Sat, 29 Mar 2014 01:32:45 +0000 (21:32 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Sat, 29 Mar 2014 01:32:45 +0000 (21:32 -0400)
commitf3b84aff36a896635953a771ac1ab7da085a8f52
tree7ad3b5fe3c98345f9411e02845cbbe75457ffebetree | snapshot (tar.gz zip)
parent167cffff3b3a976d4bf454808d3054fdb323b1a1commit | diff
Quiet compiler warning for Firewall.format{Input,Output}Rules
I think the type needs rethinking to make the case exhaustive
src/plugins/firewall.sml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.