| commit | c696a237740fee13c6756b8b71acc55582bc3b01 | [log] [tgz] |
|---|---|---|
| author | Mickael Istria <mistria@redhat.com> | Wed Oct 21 14:40:31 2020 +0200 |
| committer | Mickael Istria <mistria@redhat.com> | Wed Oct 21 14:40:31 2020 +0200 |
| tree | c99d169085b9242954630675c7f43469906d0721 | |
| parent | 8f3cebd7df9584c1d72338bec87bdcd80ec793d6 [diff] |
Replace index with refresh to PMI PMI page is better maintained and more up-to-date. Website doesn't provide enough value to be worth maintenance. Change-Id: I1c3c10de7470dc480d960acfd9b35589aae490fd Signed-off-by: Mickael Istria <mistria@redhat.com>
