Ignore some directories and tags

This commit is contained in:
Rodrigo Arias 2022-09-29 15:26:22 +02:00
parent f6a57764d4
commit baefb2b01c

3
.gitignore vendored
View File

@ -1,2 +1,5 @@
build/
install/
misc/
traces/
tags