Rename manifest files

This commit is contained in:
Pedro M. Baeza
2016-10-06 16:06:37 +02:00
committed by Graeme Gellatly
parent 9283e421f6
commit 2b30bca780