summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xdoc/tools/print_colors.py (renamed from doc/print_colors.py)0
-rwxr-xr-xdoc/tools/print_keys.py (renamed from doc/print_keys.py)0
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/print_colors.py b/doc/tools/print_colors.py
index ce040b33..ce040b33 100755
--- a/doc/print_colors.py
+++ b/doc/tools/print_colors.py
diff --git a/doc/print_keys.py b/doc/tools/print_keys.py
index 17d2513b..17d2513b 100755
--- a/doc/print_keys.py
+++ b/doc/tools/print_keys.py