comparison scripts/docs-headings.py @ 6720:9846e4d1f9cd

style: drop some redundant and empty divs
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 25 Jun 2017 18:27:28 +0200
parents ed2fb6e84a02
children 665dfa112f2c
comparison
equal deleted inserted replaced
6719:365708e66383 6720:9846e4d1f9cd