Publish plugin issue
Dirk Stöcker
openstreetmap at dstoecker.de
Thu May 31 06:27:54 UTC 2018
On Wed, 30 May 2018, Holger Mappt wrote:
> Build the files to do what with them?
Hmm. I think because these are a Quasi-Standard :-) Don't know.
> Would a nodist directory parallel to
> dist be an option if the JARs are not to be uploaded to the repository?
They could be in the <plugin>/dist. Would that be ok?
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
More information about the josm-dev
mailing list