diff options
| author | JuliDi <[email protected]> | 2023-10-02 09:36:11 +0200 |
|---|---|---|
| committer | JuliDi <[email protected]> | 2023-10-02 09:36:11 +0200 |
| commit | 923f1851ee02f697989fd25b6e93d22f30cb6b28 (patch) | |
| tree | 833e8d4a4091928f5a55d1e80b8f9279591cd2d1 /.github | |
| parent | bd267a647963d38d9865f7876b0e7617cf2b899e (diff) | |
remove debug logging in build.rs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions