Frank Schröder 1073de49db Revert "config: return error on extra command line arguments (#3397)"
This reverts commit ce935cef55f7298e85843b3ca17ad13415e40e0b.
2017-10-23 09:58:37 +02:00
..
2017-10-18 02:39:10 +02:00
2017-10-18 02:39:10 +02:00
2017-10-18 02:39:10 +02:00