Merge pull request #76 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 02:47:15 +0000 (19:47 -0700)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 02:47:15 +0000 (19:47 -0700)
commit22c1ffc9f40676c61ec5e82f507191a0463bdf23
tree2aba636d98b589527d6f830094c4eac20287a665
parent1cbad5fddca5a204ac4c2c6a5ba1e9df949f1dd6
parent214fc0d61b25fd4e2afad15b45ed660d5e6ede33
Merge pull request #76 from mpeuster/master

Monitoring should be optional, not default, to keep standard emulator footprint small.