.gitignore 342 B

1234567891011121314151617
  1. # ---> Actionscript
  2. # Build and Release Folders
  3. bin/
  4. bin-debug/
  5. bin-release/
  6. # Other files and folders
  7. .settings/
  8. # Project files, i.e. `.project`, `.actionScriptProperties` and `.flexProperties`
  9. # should NOT be excluded as they contain compiler settings and other important
  10. # information for Eclipse / Flash Builder.
  11. # ---> Agda
  12. *.agdai