Skip to content

allow installation in nonstandard directories#136

Open
GitMensch wants to merge 2 commits intoJuliaStrings:masterfrom
GitMensch:patch-1
Open

allow installation in nonstandard directories#136
GitMensch wants to merge 2 commits intoJuliaStrings:masterfrom
GitMensch:patch-1

Commits

Commits on May 4, 2018