julia
1dc9b59e - remove ability to give a git revision to devved packages

Commit
7 years ago
remove ability to give a git revision to devved packages Pkg PR 581 * remove ability to give a git revision to devved packages * wip (cherry picked from commit 43a0285191e77b7859b7571743a5d5c045a3ad5a, Julia PR #28443)
Author
Committer
Parents
Loading