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.
| Submitted | ezust - 2008-12-29 17:39:44 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | |
| Resolution | None |
| 2014-03-25 17:55:47.144000 ezust |
Ticket moved from /p/jedit/bugs/3213/ |
|---|