Skip to content

Commit

Permalink
Delete no longer needed empty file
Browse files Browse the repository at this point in the history
It was deleted in 9c8604d (#5383),
but added back empty in 1f52b75 (#5357).
Probably a merge conflict that was not properly resolved.
  • Loading branch information
FloEdelmann committed Jan 4, 2024
1 parent c699e52 commit e756e8f
Showing 1 changed file with 0 additions and 0 deletions.
Empty file.

0 comments on commit e756e8f

Please sign in to comment.