log scripts/docs-headings.py @ 7811:0a277465fddf

age author description
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