open-ideas/IDEAS — pull request #173 by damienpicard (2014-11-24 10:42:49+00:00)
Title: add an on/off switch to Pump.mo

This pull request address #172