# ---> Ada
# Object file
*.o

# Ada Library Information
*.ali

# ---> Agda
*.agdai

# ---> AppEngine
# Google App Engine generated folder
appengine-generated/