Fix config.sh (actually, Makefile.base)
authorNiki Roo <niki@nikiroo.be>
Fri, 30 Jun 2017 16:53:57 +0000 (18:53 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 30 Jun 2017 16:53:57 +0000 (18:53 +0200)

No differences found