Public Git Hosting - ferm.git/commit

commit	fd7109a593d725175d6c6faa629c77fb6f04a70e
author	Max Kellermann <max@duempel.org>
	Thu, 17 Jun 2010 14:44:40 +0000 (17 16:44 +0200)
committer	Max Kellermann <max@duempel.org>
	Thu, 17 Jun 2010 14:44:40 +0000 (17 16:44 +0200)
tree	516277172e4d5ef32048df446cfd34958ef81189	tree \| snapshot (tar.gz zip)
parent	9ba90f364fdead6c8585a5008f5510a228e96183	commit \| diff

removed duplicate function format_option()

ferm is a tool to maintain complex firewalls, without having the trouble to rewrite the complex rules over and over again.