repobase/conf/gitignore/Idris