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