# Editor or environment-specific entries should not be committed to the
# repository but can be kept in Git's global configuration:
#
# https://help.github.com/articles/ignoring-files/#create-a-global-gitignore
#
# For advice on what entries to include in your global gitignore, please see
# GitHub's gitignore repository, which contains an excellent set of entries for
# many different editing tools:
#
# https://github.com/github/gitignore/tree/master/Global

target
target-xcompile
miri-target
.mtrlz.log
**/*.rs.bk
mzdata
__pycache__
.mypy_cache
venv
node_modules
coverage
**/*.swp
test/feature-benchmark/tmp/*.td
test/zippy/tmp/*.td
junit_*.xml