Ignore files that are dynamically generated #12

Merged
dirk merged 1 commits from update-gitignore into main 4 months ago

1 Commits (main)