minor tweaks

This commit is contained in:
Martin Brodbeck 2018-07-30 15:06:26 +02:00
parent 84f71ea056
commit a4ae6a586a
2 changed files with 2 additions and 2 deletions