| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-01-03 | travis-ci: check that all build artifacts are .gitignore-d | SZEDER Gábor |
| 2018-01-02 | travis-ci: record and skip successfully built trees | SZEDER Gábor |
| 2017-12-27 | travis-ci: save prove state for the 32 bit Linux build | SZEDER Gábor |
| 2017-09-11 | travis-ci: move Travis CI code into dedicated scripts | Lars Schneider |
 |
index : user/sven/git.git | |
| Git | Sven Wegener |
| summaryrefslogtreecommitdiff |