| commit | 267e89b3c8b09d569723acd16b28589a2e6b9a25 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Jun 28 14:49:33 2018 +0100 |
| committer | GitHub <noreply@github.com> | Thu Jun 28 14:49:33 2018 +0100 |
| tree | 2193a07dbedc419004e3ecb108ba67a6fbea8b9a | |
| parent | 1a6feae87a598efdf355db6b40b225d4006f2ea4 [diff] | |
| parent | 21a05e1ee2c2eaf85e6e57c6f75d34cbd4290b97 [diff] |
Merge pull request #1457 from antonio-nino-diaz-arm/an/maintainers maintainers: Modify format of file