- 04 Jul, 2018 5 commits
- 03 Jul, 2018 7 commits
- 02 Jul, 2018 12 commits
- 01 Jul, 2018 8 commits
- 29 Jun, 2018 3 commits
- 28 Jun, 2018 5 commits
by removing the <div class="bug">. Parts of the command line are still hidden but I don't see how to do this better. Using '\' to prevent wrapping might be harder to follow for some people.
The basebox currently used by most our branches is now 4 months old, so every build on Jenkins starts by deleting it… and then recreates it from scratch. Six months is more in line with the delay between our major releases these days. This reverts commit fc1bba10.
