update to use better command recognition

This commit is contained in:
2017-07-27 14:20:56 +02:00
parent 1c0331524d
commit a8571827b9
14 changed files with 98 additions and 82 deletions

File diff suppressed because one or more lines are too long