This repository has been archived by the owner on Oct 25, 2023. It is now read-only.

fix: do not call git checkout unless necessary#64

Merged

tydeu merged 2 commits intoleanprover:masterfrom gebner:git-fixes

May 15, 2022

+7-2

Commits on May 15, 2022