[MIG] Rename manifest files

This commit is contained in:
Pedro M. Baeza
2016-10-06 16:06:37 +02:00
committed by Graeme Gellatly
parent 9f7cfa57ca
commit 3f899df73f