Dmitry Tantsur 83d628c4e4 Repair the previous image name ... Since the migration to CentOS 8 we have been using 'centos' in the published image names intead of 'centos8'. Fix that. Change-Id: I65236379e93516c0fc447ce4d4edc89194e682b1		2020-11-24 16:50:40 +01:00
..
ipa-build-dib-image	Repair the previous image name	2020-11-24 16:50:40 +01:00
ipa-build-tinyipa-image	Correct usage of BUILD_AND_INSTALL_TINYIPA	2019-09-25 15:53:20 +02:00