Prefer openjade to jade
authorFabian Keil <fk@fabiankeil.de>
Wed, 31 Oct 2018 14:44:41 +0000 (15:44 +0100)
committerFabian Keil <fk@fabiankeil.de>
Thu, 1 Nov 2018 15:12:57 +0000 (16:12 +0100)
commit42c0734789faf7e4c1f6bc80b94d4ecd1ae95a7f
treee901ce4141082ad242e6fa91d7f3f9a62b4b5e49
parent9a1bd6ebdf5b8ffcb3c4656119d348bb31622dbb
Prefer openjade to jade

At least on my system jade produces HTML with
unescaped ampersands in URLs.
configure.in