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/plugins/pingee | |
| parent | dd40fbdf0394fa2ea7f588a64faad6cd05208fff (diff) | |
Handle the case when HTML got tidied.
This fixes debian bug #492529.
Diffstat (limited to 'doc/plugins/pingee')
0 files changed, 0 insertions, 0 deletions