wm4 871900f562 github: we want a -v -v log now ... --log-file uses debug log level by default. On command line, -v -v will use debug log level.		2019-11-01 01:56:08 +01:00
..
ISSUE_TEMPLATE	github: we want a -v -v log now	2019-11-01 01:56:08 +01:00
PULL_REQUEST_TEMPLATE	github: try to get contributors to read contribute.md	2019-10-01 21:44:57 +02:00