diff scripts/docs-headings.py @ 6822:385c85f19d8d

changeset: 'Parent rev.' and 'Child rev.' are no 'changeset_hash'
author domruf <dominikruf@gmail.com>
date Mon, 03 Jul 2017 22:17:28 +0200
parents ed2fb6e84a02
children 665dfa112f2c
line wrap: on
line diff