log scripts/docs-headings.py @ 7920:357962bb1802

age author description
Sun, 18 Aug 2019 20:25:18 +0200 Mads Kiilerich future: use Python print function
Wed, 07 Aug 2019 00:25:02 +0200 Mads Kiilerich scripts: initial run of import cleanup using isort
Sun, 30 Dec 2018 11:45:28 +0100 Thomas De Schampheleire scripts: docs-headings: improve performance by grouping 'hg diff' invocations
Fri, 25 Aug 2017 14:30:57 +0200 Lars Kruse py3: replace "file" with "open"
Mon, 16 Nov 2015 18:33:53 +0100 Mads Kiilerich docs: use consistent style for section titles
Thu, 08 Oct 2015 23:25:21 +0200 Mads Kiilerich scripts: introduce scripts/docs-headings.py for reformatting rst section titles in docs