Added Mantle after removing from gitignore