Closed phlogistonjohn closed 3 years ago
This should make the script behave correctly even if run from a different directory than the root of the git checkout.
This should make the script behave correctly even if run from a different directory than the root of the git checkout.