Initial commit
This commit is contained in:
commit
579b9a18aa
|
@ -0,0 +1,13 @@
|
||||||
|
# ---> Agda
|
||||||
|
*.agdai
|
||||||
|
MAlonzo/**
|
||||||
|
|
||||||
|
# ---> Anjuta
|
||||||
|
# Local configuration folder and symbol database
|
||||||
|
/.anjuta/
|
||||||
|
/.anjuta_sym_db.db
|
||||||
|
|
||||||
|
# ---> AppEngine
|
||||||
|
# Google App Engine generated folder
|
||||||
|
appengine-generated/
|
||||||
|
|
Loading…
Reference in New Issue