.gitignore 84 B

12345678910
  1. # ---> Ada
  2. # Object file
  3. *.o
  4. # Ada Library Information
  5. *.ali
  6. # ---> Agda
  7. *.agdai