.gitattributes export-ignore
.gitignore export-ignore
.travis.yml export-ignore
.clang-format export-ignore
contrib/btorvis export-ignore
contrib/gcov export-ignore
contrib/gen-scripts export-ignore
contrib/smtcomp export-ignore
