| commit | 1a6aaf853ff7202b869dc7868f800ed7da9538d0 | [log] [tgz] |
|---|---|---|
| author | Pavel Grunt <pavlik.grunt@seznam.cz> | Thu Mar 09 10:47:51 2017 +0000 |
| committer | Pavel Grunt <pavlik.grunt@seznam.cz> | Thu Mar 09 10:47:51 2017 +0000 |
| tree | 9cadb6a77d9056241c8b22a24083775c2b8bd0f8 | |
| parent | bd754b861e7de5c7919aa249a975913cb207b85d [diff] | |
| parent | cf7cac43ba543b8bebb61fcc34bb14ce6405112e [diff] |
Merge branch 'master' into 'master' keymap-gen: Import sys See merge request !1
diff --git a/tools/keymap-gen b/tools/keymap-gen index d79b2c8..e03c762 100755 --- a/tools/keymap-gen +++ b/tools/keymap-gen
@@ -16,6 +16,7 @@ import argparse import hashlib import time +import sys class Database: