I do not know what this commit is
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Merge branch 'master' of https://github.com/Exeter/ecc-index
Changed name from hello_world to manifester