julia
Don't require a `.git` suffix for the master repository name
#17606

Merged

Don't require a `.git` suffix for the master repository name #17606

StefanKarpinski merged 1 commit into JuliaLang:master from eschnett:eschnett/version_git.sh

Don't require a `.git` suffix for the master repository name

a9d762cf

StefanKarpinski merged 278fc02f into master 10 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone