Changeset 18158 in josm

Timestamp:
2021-08-22T17:59:39+02:00 (9 months ago)
Author:
Don-vip
Message:

see #17858 - add custom WebStart DTD with OpenWebStart vendor extension, as it is not (yet?) provided

Location:
trunk/nodist/dtd
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.