grugq/PORTALofPi — pull request #2 by mvanveen (2013-06-23 15:23:26+00:00)
Title: Update build.sh

This is the first URL I pulled from the mirror list. There are multiple available at the root page still, but keeping the original URL makes it harder to copy pasta & download with `wget`. Propose to change to this URL in order to re-enable copy-pasta viability. :thumbsup: