summary refs log tree commit diff stats
path: root/doc/tools
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tools')
-rwxr-xr-xdoc/tools/print_keys.py1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/tools/print_keys.py b/doc/tools/print_keys.py
index fecd6fb9..e1cea81e 100755
--- a/doc/tools/print_keys.py
+++ b/doc/tools/print_keys.py
@@ -17,4 +17,3 @@ def main(w):
             w.addstr(repr(getmouse()) + sep)
         else:
             w.addstr(str(ch) + sep)
-