/bin
/tools/config.c
/config.inc
/config.inc.*
/core/config.h
/core/config.h.bak
/core/version.h
/core/*.i
/core/*.o
/core/*.opic
/core/syntax.c
/test/api/potion-test
/test/api/potion-test.exe
/test/api/gc-test
/test/api/gc-test.exe
/test/api/*.o
/.gdbinit
/.lldbinit
*.pnb
._*
.DS_Store
/lib/*/*.so
/lib/*/*.dylib
/lib/*/*.dll
/lib/*/*.bundle
/lib/*/*.bundle.dSYM
/lib/*/*.i
/lib/*/*.o
/lib/*/*.opic
/lib/*.i
/lib/*.o
/lib/*.opic
/lib/*.so
/lib/*.dylib
/lib/*.dll
/lib/*.bundle
/lib/*.bundle.dSYM
/lib/libpotion.a
/lib/libpotion.so
/lib/libpotion.dll
/lib/libpotion.dylib
/history.txt
/pkg
/doc/*.html
/TAGS
/GPATH
/GRTAGS
/GTAGS
/doc/ref
/doc/html
/doc/latex
/doc/footer.inc
/README.md
/tools/bisect*.sh
/MANIFEST
/mcc.sh
/frama-c*
/cover_db
/xx.[Scp]
/*.patch
