| commit | 8fd2b78f18dccf7836a30201a3c87b546fd32210 | [log] [tgz] |
|---|---|---|
| author | Geertjan Wielenga <geertjan@apache.org> | Tue Jun 09 13:34:17 2020 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jun 09 13:34:17 2020 +0200 |
| tree | 82e11f23303acb3177f1bf4871625a6ad89078cf | |
| parent | df777cc8d41911c7722e7d7dd58e905242df8b78 [diff] |
Point the Plugins menu to the new plugin portal