Remove redundant references to deleted .dtd files
We only use relaxng and that confuses other linters like xmllint.
Patch by: @Langbart
Differential Revision: https://code.wildfiregames.com/D4748
Description
Description
Details
Details
- Committed
Stan Oct 23 2022, 7:06 PM - Differential Revision
- D4748: Remove redundant references to deleted .dtd files
- Parents
- rP27169: Civ backgrounds for minimap
- Branches
- Unknown
- Tags
- Build Status
Buildable 20982 Build 50709: Post-Commit Build Jenkins Build 50708: Post-Commit Build (macOS) Jenkins