tree 93443f9c475287970acc63bbc62059f3a0e77215
parent cc8b9f4932abb8fae22f78182fb6b832bee54168
parent 18a17f4418e615695fa0d48a0d7cd93ddcde3cfd
author Luca Milanesio <luca.milanesio@gmail.com> 1479278187 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1479278187 +0000

Merge "Restyling of the plugins list on a single table"