14 lines
201 B
Plaintext
14 lines
201 B
Plaintext
|
# ---> Agda
|
||
|
|
*.agdai
|
||
|
|
MAlonzo/**
|
||
|
|
|
||
|
|
# ---> Anjuta
|
||
|
|
# Local configuration folder and symbol database
|
||
|
|
/.anjuta/
|
||
|
|
/.anjuta_sym_db.db
|
||
|
|
|
||
|
|
# ---> AppEngine
|
||
|
|
# Google App Engine generated folder
|
||
|
|
appengine-generated/
|
||
|
|
|