#483 Plugin Manager: do not require existance of .tgz archives

None
open
nobody
None
5
2014-03-25
2008-12-29
Alan Ezust
No

The plugin manager should work fine for plugins that are released and available, but only offer .zip, and do not offer .tgz archives also. This way, we won't need to keep redundantly packaging the archives for plugin releases.

Discussion

  • Alan Ezust
    Alan Ezust
    2014-03-25

    Ticket moved from /p/jedit/bugs/3213/