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 +- doc/tools/print_colors.py | 2 +- doc/tools/print_keys.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'doc') 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 -- cgit 1.4.1-2-gfad0 '>stats
path: root/test/tc_bookmarks.py
blob: 59435f06e9864ea12b34e7d25b093d85ca46f81f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92