Changeset 18158 in josm

Timestamp:

2021-08-22T17:59:39+02:00 (4 years ago)

Author:

Don-vip

Message:

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

• ​https://openwebstart.com/docs/OWSGuide.html#_specify_a_specific_vendor_in_the_jnlp_file
• ​https://stackoverflow.com/a/62633477/2257172
• ​http://java.sun.com/dtd/JNLP-6.0.dtd

Location:

trunk/nodist/dtd

Files:

• . (added)
• JNLP-6.0-OWS-ext.dtd (added)