log scripts/docs-headings.py @ 7177:124600ca326e

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