diff .hgignore @ 6:13cda523891f

bugfix: dive length in normal header
author heinrichsweikamp
date Fri, 10 May 2013 15:56:17 +0200
parents e4e662746c02
children c61b7a4e317c
line wrap: on
line diff