Ignore files that are dynamically generated #12

Merged

dirk merged 1 commits from update-gitignore into main

jandd commented

Owner

There is no content yet.

jandd added 1 commit

03b6d7c4bf Ignore files that are dynamically generated

jandd requested review from dirk

jandd requested review from ted

dirk approved these changes

dirk left a comment

Owner

only reflects files, which should not be covered by git

only reflects files, which should not be covered by git

dirk merged commit e2f9138035 into main 3 months ago

dirk referenced this issue from a commit

Merge pull request 'Ignore files that are dynamically generated' (!12) from update-gitignore into main

Reviewers

ted was requested for review

dirk approved these changes

The pull request has been merged as e2f9138035.

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No project

No Assignees

2 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.