diff options
| author | nfnty <git@nfnty.se> | 2017-01-21 22:30:59 +0100 |
|---|---|---|
| committer | nfnty <git@nfnty.se> | 2017-01-21 22:30:59 +0100 |
| commit | 9f5eeff72146d3c5178d66b4879af7a6abfc22f1 (patch) | |
| tree | bde5fa9ffde17e76700882ab489297c1855c2ad5 /doc/tools/convert_papermode_to_metadata.py | |
| parent | 1c90e610de6591e8052a1056c775219b5e767002 (diff) | |
| download | ranger-9f5eeff72146d3c5178d66b4879af7a6abfc22f1.tar.gz | |
Python 3 division: Import `division` from `__future__`
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
| -rwxr-xr-x | doc/tools/convert_papermode_to_metadata.py | 2 |
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 |