Changeset 18158 in josm for trunk/nodist

Timestamp:
2021-08-22T17:59:39+02:00 (3 years 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.