summary refs log tree commit diff stats
path: root/doc/tools/convert_papermode_to_metadata.py
diff options
context:
space:
mode:
authornfnty <git@nfnty.se>2017-01-21 22:56:06 +0100
committernfnty <git@nfnty.se>2017-01-21 22:56:06 +0100
commite53369588ee44a9fc4ec75228dc041448aa778d4 (patch)
tree5cddf5caef27797e921a180d3aeaf2ce880f08bf /doc/tools/convert_papermode_to_metadata.py
parent1c90e610de6591e8052a1056c775219b5e767002 (diff)
parent4fc54db1bcb243504cdc41cee3885342b94cb13a (diff)
downloadranger-e53369588ee44a9fc4ec75228dc041448aa778d4.tar.gz
Merge branch 'division'
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
-rwxr-xr-xdoc/tools/convert_papermode_to_metadata.py2
1 files changed, 1 insertions, 1 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