Skip to content

Remove some rerun-if-env-changed lines from build.rs.#576

Merged
sunfishcode merged 1 commit intomainfrom
sunfishcode/build-scripts
Mar 29, 2023

Commits

Commits on Mar 29, 2023