| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-06-10 | Add NUMBER_OF_MONITOR_NODES for bootstrap | ZhijunWei | 1 | -0/+5 |
| 2017-06-12 | Update Vagrant dev environment | Juan J. Martinez | 1 | -9/+11 |
| 2017-05-31 | Fix vagrant development environment | Juan J. Martinez | 1 | -3/+6 |
| 2016-10-14 | Move demos and dev directory into a new contrib directory | Christian Berendt | 1 | -0/+92 |
