# First, ignore yourself.
#.gitignore

# Customization starts here
goblan.native
*.log
*.output
*.ml
*.mli
doc/*.log
doc/*.pdf
doc/*.aux
doc/*.toc
_build/
#doc/*.tex
# Customization ends here
