Fix configure.sh for --gui=no
authorNiki Roo <niki@nikiroo.be>
Sun, 10 Dec 2017 18:03:15 +0000 (19:03 +0100)
committerNiki Roo <niki@nikiroo.be>
Sun, 10 Dec 2017 18:03:15 +0000 (19:03 +0100)

No differences found