summary refs log tree commit diff stats
path: root/doc/tools
diff options
context:
space:
mode:
authornfnty <git@nfnty.se>2017-01-21 22:30:59 +0100
committernfnty <git@nfnty.se>2017-01-21 22:30:59 +0100
commit9f5eeff72146d3c5178d66b4879af7a6abfc22f1 (patch)
treebde5fa9ffde17e76700882ab489297c1855c2ad5 /doc/tools
parent1c90e610de6591e8052a1056c775219b5e767002 (diff)
downloadranger-9f5eeff72146d3c5178d66b4879af7a6abfc22f1.tar.gz
Python 3 division: Import `division` from `__future__`
Diffstat (limited to 'doc/tools')
-rwxr-xr-xdoc/tools/convert_papermode_to_metadata.py2
-rwxr-xr-xdoc/tools/print_colors.py2
-rwxr-xr-xdoc/tools/print_keys.py2
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