| commit | b473e45a3ce84ca0a12e41e69e2b487d0a3bb085 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Sun May 22 22:47:27 2016 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Wed Nov 16 06:37:44 2016 +0000 |
| tree | 8b772914da4058467948ffeed4106d2883fc648d | |
| parent | 5f2fff3ec60e0f1537eb748da4b4c79994731360 [diff] |
Refresh only one plugin after install/upgrade When installing or upgrading a single plugin, there is no need to refresh the entire list. Change-Id: Ib2d7026b786e6f8628c7294f93596025228d8365