From: Paul Hänsch <paul@plutz.net>
Date: Sat, 27 Jul 2019 13:21:27 +0000 (+0200)
Subject: correct naming for whisker menu configuration
X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=d84a0b0110b6f959057f76be9f0cdacb7ed5ac05;hp=d84a0b0110b6f959057f76be9f0cdacb7ed5ac05;p=blast

correct naming for whisker menu configuration
---