diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/tools/convert_papermode_to_metadata.py | 2 | ||||
| -rwxr-xr-x | doc/tools/print_colors.py | 2 | ||||
| -rwxr-xr-x | doc/tools/print_keys.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py index d4427a10..e4010a73 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -9,7 +9,7 @@ ranger used to store metadata in .paperinfo files, but that format was rather limited, so .metadata.json files were introduced. """ -from __future__ import (absolute_import, print_function) +from __future__ import (absolute_import, division, print_function) import csv import json diff --git a/doc/tools/print_colors.py b/doc/tools/print_colors.py index 69436778..65625cb5 100755 --- a/doc/tools/print_colors.py +++ b/doc/tools/print_colors.py @@ -4,7 +4,7 @@ You can use this tool to display all supported colors and their color number. It will exit after a keypress. """ -from __future__ import (absolute_import, print_function) +from __future__ import (absolute_import, division, print_function) import curses diff --git a/doc/tools/print_keys.py b/doc/tools/print_keys.py index 936d9bf0..900a478c 100755 --- a/doc/tools/print_keys.py +++ b/doc/tools/print_keys.py @@ -3,7 +3,7 @@ You can use this tool to find out values of keypresses """ -from __future__ import (absolute_import, print_function) +from __future__ import (absolute_import, division, print_function) import curses |