removed $def argument from shell_append_option()
commit3a3946b3e8f49a4d5a3f8bb1da89ded98e565e72
authorMax Kellermann <max@foo-projects.org>
Sun, 16 Dec 2007 12:02:48 +0000 (16 12:02 +0000)
committerMax Kellermann <max@foo-projects.org>
Sun, 16 Dec 2007 12:02:48 +0000 (16 12:02 +0000)
treef99473cae7b13256a29931cb94c1561b23ee5483
parentf92ff6a075a3947f1cb2470dd16f4252106819bc
removed $def argument from shell_append_option()

git-svn-id: svn+ssh://foo-projects.org/var/svn/ferm/trunk@1023 887c3e53-ddf1-0310-8e39-e0d3fab4ed34
src/ferm