diff src/strings.inc @ 6:13cda523891f

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