Age | Commit message (Expand) | Author |
---|---|---|
2016-12-20 | - --coverage option for main build script | Marcello Stanisci |
2016-12-19 | - Starting the DB via ARM before compilation. | Marcello Stanisci |
2016-05-20 | update deployment.git before rebuild | Florian Dold |
2016-05-02 | build script | Florian Dold |