| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-01-03 | travis-ci: check that all build artifacts are .gitignore-d | SZEDER Gábor | -0/+6 |
| 2018-01-02 | travis-ci: record and skip successfully built trees | SZEDER Gábor | -0/+2 |
| 2017-09-11 | travis-ci: move Travis CI code into dedicated scripts | Lars Schneider | -1/+3 |
| 2017-04-26 | travis-ci: check AsciiDoc/AsciiDoctor stderr output | Lars Schneider | -3/+6 |
| 2017-04-16 | travis-ci: parallelize documentation build | Lars Schneider | -2/+2 |
| 2017-04-16 | travis-ci: build documentation with AsciiDoc and Asciidoctor | Lars Schneider | -1/+9 |
| 2016-05-10 | travis-ci: build documentation | Lars Schneider | -0/+14 |
