minor improvements

This commit is contained in:
Gert Wohlgemuth
2018-05-16 23:43:58 -07:00
parent 51e9cdb42c
commit 5d16569233
21 changed files with 146 additions and 25 deletions

File diff suppressed because one or more lines are too long