comparison make-debian-package @ 56:224572069e36

Always define an editor kit, so we always get HTML mode.
author davidb
date Thu, 07 May 2020 17:12:25 -0700
parents 1aea8079484b
children
comparison
equal deleted inserted replaced
55:f5faf70c7d10 56:224572069e36