keys -> terminal

This commit is contained in:
2018-02-03 15:46:50 +02:00
parent 2dd3090b35
commit 3330d21509
2 changed files with 1 additions and 1 deletions