Skip to content

Move git_describe() to general.py#6918

Merged
glenn-jocher merged 2 commits into
masterfrom
update/git
Mar 9, 2022
Merged

Move git_describe() to general.py#6918
glenn-jocher merged 2 commits into
masterfrom
update/git

Commits

Commits on Mar 9, 2022