diff options
| author | Michał Janiszewski <janisozaur@users.noreply.github.com> | 2018-05-28 11:34:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-28 11:34:47 +0200 |
| commit | 2abf39ea4a9d6428b41e8e4745a4090e916a44fc (patch) | |
| tree | c269258859835607586bfab206c076af61418185 /src | |
| parent | d809f658275f348043cf481149739113cfb274a8 (diff) | |
Use Ninja for Travis builds
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions