remove quiet option; we do not use it anyway
authorChristian Weiske <cweiske@cweiske.de>
Fri, 21 Feb 2014 05:42:57 +0000 (06:42 +0100)
committerChristian Weiske <cweiske@cweiske.de>
Fri, 21 Feb 2014 05:44:09 +0000 (06:44 +0100)

No differences found