making wider extension filter for run eventserver gitignore

This commit is contained in:
Jakub Jezek 2022-06-13 13:29:18 +02:00
parent 238e3a0321
commit 6033304282
No known key found for this signature in database
GPG key ID: 730D7C02726179A7

2
.gitignore vendored
View file

@ -103,4 +103,4 @@ website/.docusaurus
.poetry/
.python-version
tools/run_eventserver.ps1
tools/run_eventserver.*