.gitignore 472 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. # ---> Ada
  2. # Object file
  3. *.o
  4. # Ada Library Information
  5. *.ali
  6. # ---> AppEngine
  7. # Google App Engine generated folder
  8. appengine-generated/
  9. # ---> Archives
  10. # It's better to unpack these files and commit the raw source because
  11. # git has its own built in compression methods.
  12. *.7z
  13. *.jar
  14. *.rar
  15. *.zip
  16. *.gz
  17. *.bzip
  18. *.bz2
  19. *.xz
  20. *.lzma
  21. *.cab
  22. #packing-only formats
  23. *.iso
  24. *.tar
  25. #package management formats
  26. *.dmg
  27. *.xpi
  28. *.gem
  29. *.egg
  30. *.deb
  31. *.rpm
  32. *.msi
  33. *.msm
  34. *.msp
  35. # ---> Agda
  36. *.agdai