tree 485390f6064089a83e0c845c3b71b6764371d16f
parent 8ac06a3409996ea3f067d8638c0039006b5070a4
author David Ostrovsky <david@ostrovsky.org> 1577439109 +0100
committer Björn Pedersen <bjoern.pedersen@frm2.tum.de> 1577457474 +0100

PolyGerrit UI: Split plugin to html and js files

Change-Id: I8d9d140fe77b2dc52b3138b9e42acc394712c376