Skip to content

Update submodules URLs to use git URLs explicitly#1398

Merged
indrajitr merged 1 commit intosorin-ionescu:masterfrom indrajitr:gitmodule-url-fixesJul 22, 2017

Commits

Commits on Jul 22, 2017