diff DOCS/de/documentation.html @ 17401:d624a0a191f3

Print some more useful data from header in verbose mode
author rtognimp
date Sun, 15 Jan 2006 22:00:53 +0000
parents aa01df570de0
children 87d2ac3e2354
line wrap: on
line diff