Build #147

Continuously builds all pragmatics plug-ins upon repository changes.

Build: #147 was successful Changes by gjo <gjo@informatik.uni-kiel.de>

Code commits

Models Repository