Skip to content

Corrected a few more references to rig, and elaborated the build script.#2

Merged
febbraro merged 3 commits intomasterfrom developFeb 16, 2017