Skip to content
Commit a5eecaa4 authored by Jesse Glick's avatar Jesse Glick
Browse files

Rather than patching configure.jelly, safer and clearer to directly adjust... 

Rather than patching configure.jelly, safer and clearer to directly adjust ToolInstallation/global.jelly.
parent 16a8339a
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment