| commit | 63ad66814545ae4fe3ed1b63d536b7b1097737bb | [log] [tgz] |
|---|---|---|
| author | Jaeden Amero <jaeden.amero@arm.com> | Thu Nov 14 16:56:12 2019 +0000 |
| committer | GitHub <noreply@github.com> | Thu Nov 14 16:56:12 2019 +0000 |
| tree | cfd66da8b63f0f003a3776b2095ab3ed7faf8268 | |
| parent | 0b3dd8d0249adb54abc7ad46303f3c22e44aefb7 [diff] | |
| parent | adc82f3535006a91c5ea237a1c0a5807e17d4cd9 [diff] |
Merge pull request #321 from dgreen-arm/config_py Replace config.pl by config.py