From 8372a7602d93eb7fc3d18c8ac071ea9cd6349501 Mon Sep 17 00:00:00 2001 From: toonn Date: Sat, 5 Feb 2022 16:12:20 +0100 Subject: convert_papermode_to_metadata: Drop disappeared Pylint options --- doc/tools/convert_papermode_to_metadata.py | 2 -- 1 file changed, 2 deletions(-) (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 58371193..0a1b21ce 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -39,7 +39,6 @@ def replace(source, target): result = {} # Read the input file and convert it to a dictionary - # pylint: disable=unspecified-encoding with open(".paperinfo", "r") as infile: reader = csv.reader(infile, skipinitialspace=True) for lineno, row in enumerate(reader): @@ -62,7 +61,6 @@ def replace(source, target): if result: # There's no way to specify encoding in 2.x even though in this case we # could choose to write in UTF-8. - # pylint: disable=unspecified-encoding with open(".metadata.json", "w") as outfile: json.dump(result, outfile, indent=2) else: -- cgit 1.4.1-2-gfad0 >
about summary refs log blame commit diff stats
path: root/html/044space_surround.cc.html
blob: 66db51b30d997f3de07c93ac6444494873211c58 (plain) (tree) 
672e3e50 ^




d009e158 ^

a654e4ec ^


672e3e50 ^

a654e4ec ^


672e3e50 ^


a654e4ec ^

e6056999 ^

a654e4ec ^


76755b28 ^

4690ce81 ^

4690ce81 ^

a654e4ec ^




672e3e50 ^


a654e4ec ^






672e3e50 ^


a654e4ec ^

672e3e50 ^








4690ce81 ^

32b8fac2 ^

d009e158 ^


32b8fac2 ^

d009e158 ^



32b8fac2 ^


9570363a ^


672e3e50 ^

4690ce81 ^

76755b28 ^

cd9bb850 ^

d009e158 ^

cd9bb850 ^

d009e158 ^

cd9bb850 ^

d009e158 ^

672e3e50 ^

d990e8f0 ^



672e3e50 ^




a654e4ec ^



d009e158 ^

672e3e50 ^


a654e4ec ^

4690ce81 ^

672e3e50 ^

a654e4ec ^

672e3e50 ^



a654e4ec ^


4690ce81 ^


2f02189d ^

76755b28 ^

65361948 ^

672e3e50 ^



c5ffb6e1 ^


4690ce81 ^

a654e4ec ^

c5ffb6e1 ^

672e3e50 ^



a654e4ec ^

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
93
94

95
96

97

98

99

100
101
102

103