[josm-dev] Shortcuts

Pieren pieren3 at gmail.com
Fri Feb 17 13:24:07 GMT 2012


On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <phaaurlt at googlemail.com> wrote:

> If we reserve a small pool, this won't be enough, so who decides which
> plugin is more important?

That's the idea. It can be enough because nobody installs all plugins
but only a few of them.

Pieren



More information about the josm-dev mailing list