From 9f5eeff72146d3c5178d66b4879af7a6abfc22f1 Mon Sep 17 00:00:00 2001 From: nfnty Date: Sat, 21 Jan 2017 22:30:59 +0100 Subject: Python 3 division: Import `division` from `__future__` --- doc/tools/convert_papermode_to_metadata.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tools/convert_papermode_to_metadata.py') 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 -- cgit 1.4.1-2-gfad0