From: Benjamin Auder <benjamin.auder@somewhere>
Date: Sun, 23 Dec 2018 09:54:35 +0000 (+0100)
Subject: Better padding in menu
X-Git-Url: https://git.auder.net/images/pieces/current/gitweb.js?a=commitdiff_plain;h=673c88b7ee0d08bef7cd92c7c88fd6cdc2e1649c;hp=673c88b7ee0d08bef7cd92c7c88fd6cdc2e1649c;p=vchess.git

Better padding in menu
---