diff scripts/docs-headings.py @ 7351:07c24b9ad3eb

hooks: minor changes to clean up, improve docs and naming
author Mads Kiilerich <mads@kiilerich.com>
date Wed, 08 Aug 2018 02:23:11 +0200
parents 665dfa112f2c
children a188803df37e
line wrap: on
line diff