Fix #1040 by allowing multiple files to be loaded from command line
authorSoeren Apel <soeren@apelpie.net>
Tue, 5 Jun 2018 16:49:12 +0000 (18:49 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Tue, 5 Jun 2018 23:10:32 +0000 (01:10 +0200)

No differences found