diekmann / Iptables_Semantics

Verified iptables Firewall Ruleset Analysis
http://iptables.isabelle.systems/
BSD 2-Clause "Simplified" License
96 stars 13 forks source link

Spelling #144

Open jsoref opened 3 years ago

jsoref commented 3 years ago

This PR corrects misspellings identified by the check-spelling action.

The misspellings have been reported at https://github.com/jsoref/Iptables_Semantics/commit/4e47dd8199b05da0a171b5ded631a2dacaa0170b#commitcomment-58472241

The action reports that the changes in this PR would make it happy: https://github.com/jsoref/Iptables_Semantics/commit/613b3168d5569f5ea71cecd455a817be8b43f14c

Note: this PR does not include the action. If you're interested in running a spell check on every PR and push, that can be offered separately.