diff options
author | Michael Haardt <michael@moria.de> | 2010-02-19 10:30:13 +0000 |
---|---|---|
committer | Michael Haardt <michael@moria.de> | 2010-02-19 10:30:13 +0000 |
commit | db4d09028d12130b489cb7d5380641f3a61305af (patch) | |
tree | 9d4b61845306aedfc6a76453aecc2104d778eec6 /doc/doc-docbook | |
parent | a8e1eeba8a2ff7eb5b2c6165d63f003fd0dfe3eb (diff) |
Bug fix for yesterday's change, which worked in a production system
for quite some time and broke right after comitting it to CVS.
Diffstat (limited to 'doc/doc-docbook')
0 files changed, 0 insertions, 0 deletions