Skip to content

Update git_describe() for remote dir usage#2606

Merged
glenn-jocher merged 1 commit intomasterfrom glenn-jocher-patch-1Mar 26, 2021