.gitignore 21 B

123
  1. # ---> Agda
  2. *.agdai