We are currently not using the subtrees. If we want to do so in the
future it can still be pulled in again, and in the meantime it avoids
some maintenance.
See D3958.
Differential D3960
Remove the unused git-subtree-check.sh script Fabien on Aug 28 2019, 12:30. Authored by Tags None Subscribers None
Details
We are currently not using the subtrees. If we want to do so in the See D3958. NOP();
Diff Detail
Event Timeline |