karel1980/scratchnet — pull request #39 by marc-portier (2014-03-12 19:13:28+00:00)
Title: the dev-launcher now works again for the quick demo

merged with karel1980/master