@ -0,0 +1,8 @@
# ---> Agda
*.agdai
MAlonzo/**
# ---> AppEngine
# Google App Engine generated folder
appengine-generated/
@ -0,0 +1,2 @@
# ZansGroup