corimf/build-tools — pull request #1 by eymorale (2014-08-19 14:42:25+00:00)
Title: 41263

update corimf scripts to deal with new plugin branches (master, not dev)