diff options
author | Enrico Zini <enrico@enricozini.org> | 2008-07-26 23:05:22 +0100 |
---|---|---|
committer | Joey Hess <joey@kodama.kitenet.net> | 2008-07-26 23:05:57 -0400 |
commit | 02078c406ca71780e45af0f4dea6ceafcd56c730 (patch) | |
tree | 6fb1d519cceabee2acb1165e3d59702b89c9cfee /doc/users/patrickwinnertz.mdwn | |
parent | dd40fbdf0394fa2ea7f588a64faad6cd05208fff (diff) |
Handle the case when HTML got tidied.
This fixes debian bug #492529.
Diffstat (limited to 'doc/users/patrickwinnertz.mdwn')
0 files changed, 0 insertions, 0 deletions