git: update gitignore

This commit is contained in:
Jakub Jezek 2022-08-24 14:20:35 +02:00
parent 7a1d161ab4
commit da5353aa2d
No known key found for this signature in database
GPG key ID: 730D7C02726179A7

3
.gitignore vendored
View file

@ -107,3 +107,6 @@ website/.docusaurus
mypy.ini
tools/run_eventserver.*
# Developer tools
tools/dev_*