[MIG] Rename manifest files

This commit is contained in:
Pedro M. Baeza
2016-10-06 16:13:01 +02:00
committed by Timon Tschanz
parent 26e3b80797
commit db0dd93894