diff options
| author | ot <ot@localhost> | 2008-02-12 06:30:25 +0000 |
|---|---|---|
| committer | ot <ot@localhost> | 2008-02-12 06:30:25 +0000 |
| commit | 09e0b220b8d49b15ee76ce86c54ccdacaf39cd2d (patch) | |
| tree | 25caa820db23c992f113a8122939669f63e5bd4c /htdocs/dev | |
| parent | 4d46c1034ed68f3eeaa82cedf5a877b523155956 (diff) | |
| download | markup-validator-09e0b220b8d49b15ee76ce86c54ccdacaf39cd2d.zip markup-validator-09e0b220b8d49b15ee76ce86c54ccdacaf39cd2d.tar.gz markup-validator-09e0b220b8d49b15ee76ce86c54ccdacaf39cd2d.tar.bz2 | |
additional fix for http://www.w3.org/Bugs/Public/show_bug.cgi?id=4848
- we were checking whether the SI matched a recognized FPI
- we are now also checking, in case the FPI is not recognized, whether it matches a known SI.
Diffstat (limited to 'htdocs/dev')
0 files changed, 0 insertions, 0 deletions