| commit | 22c1ffc9f40676c61ec5e82f507191a0463bdf23 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Fri Apr 15 19:47:15 2016 -0700 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Fri Apr 15 19:47:15 2016 -0700 |
| tree | 2aba636d98b589527d6f830094c4eac20287a665 | |
| parent | 1cbad5fddca5a204ac4c2c6a5ba1e9df949f1dd6 [diff] | |
| parent | 214fc0d61b25fd4e2afad15b45ed660d5e6ede33 [diff] |
Merge pull request #76 from mpeuster/master Monitoring should be optional, not default, to keep standard emulator footprint small.