3djc c2ed47d5d3 Wrong branch ...

2016-07-31 17:22:55 +02:00

..

nightly22

Move build number increments to git

2016-07-31 13:44:48 +02:00

build-companion.sh

Make +x

2016-07-29 13:29:24 +02:00

commit-tests.sh

Add some more build options to check more parts of the code (#3671)

2016-07-30 10:27:42 +02:00