gitignore: delete a.in