Update gitignore

This commit is contained in:
carlocagnetta 2023-10-20 14:33:36 +02:00 committed by Michael Panchenko
parent acc671b887
commit 7ed07031b7