-### Git ###
-# Created by git for backups. To disable backups in Git:
+# Created by git for backups. To disable backups in git:
# $ git config --global mergetool.keepBackup false
*.orig
.scannerwork
*.bak
lib
+dist
+tmp
reports/
-benchmarks/internal/results/