Skip to content
Snippets Groups Projects

Refactor gitignore file

Merged Jerome Hilaire requested to merge github/fork/johanneskoch94/gitignore into develop

Created by: johanneskoch94

I added some comments to increase readability, and removed all the unnecessary lines of the individual input files, since the line "input/" takes care of all the input files already.

Do you see a reason not to merge this? Did I forget anything?

Merge request reports

Approval is optional

Merged by avatar (Mar 23, 2025 5:27am UTC)

Merge details

  • Changes merged into develop with 758e30b5.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading