Open lhstrh opened 2 years ago
The logic in fetchDeps isn't quite right. Specifically, when the directory lingua-franca is present but empty, no action is taken to do a fresh checkout.
fetchDeps
lingua-franca
The logic in
fetchDeps
isn't quite right. Specifically, when the directorylingua-franca
is present but empty, no action is taken to do a fresh checkout.