Home Explore Help
Register Sign In
technologia
/
infogrammm
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
infogrammm
/
.gitignore

.gitignore 114 B
Permalink History Raw

12345678 
  1. # ---> Agda
    2. 

  2. *.agdai
    3. 

  3. 

  4. # ---> Anjuta
    5. 

  5. # Local configuration folder and symbol database
    6. 

  6. /.anjuta/
    7. 

  7. /.anjuta_sym_db.db
    8. 

  8.