# Editing:
*~

# Compilation:
*.native
_build*
*.processed.ml

# MacOS:
.DS_Store

doc/auto
