Ignore files that are dynamically generated #12

Merged
dirk merged 1 commit from update-gitignore into main 2024-05-04 13:42:36 +00:00

1 commit

Author SHA1 Message Date
03b6d7c4bf Ignore files that are dynamically generated 2024-05-03 19:54:16 +02:00