Skip to content

Commit

Permalink
Merge pull request #3930 from tgross35/remove-tmp-file
Browse files Browse the repository at this point in the history
Remove temporary file that was added by accident
  • Loading branch information
tgross35 authored Sep 17, 2024
2 parents cee3e05 + ea9548a commit a6386af
Showing 1 changed file with 0 additions and 374 deletions.
374 changes: 0 additions & 374 deletions build-tmp.rs

This file was deleted.

0 comments on commit a6386af

Please sign in to comment.