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/
|
|
|