Skip to content

Commit

Permalink
Removed unnecessary docinfo file
Browse files Browse the repository at this point in the history
The docinfo file was an unintentional duplicate of another docinfo that
had been renamed previously.
  • Loading branch information
chabowski committed Feb 22, 2024
1 parent 312d377 commit c64cc85
Showing 1 changed file with 0 additions and 0 deletions.
File renamed without changes.

0 comments on commit c64cc85

Please sign in to comment.