diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-22 09:08:03 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-22 09:08:03 +0100 |
| commit | 286fc43b7b837bcd3786d46df3f4de7c965a392b (patch) | |
| tree | c7cb7511a1df6f0be2e6eb02bf3a56d661f199e9 /.gitignore | |
| parent | 3255ff66dab0870c54c8f5c62b1c461b38abfe20 (diff) | |
| download | dabmod-286fc43b7b837bcd3786d46df3f4de7c965a392b.tar.gz dabmod-286fc43b7b837bcd3786d46df3f4de7c965a392b.tar.bz2 dabmod-286fc43b7b837bcd3786d46df3f4de7c965a392b.zip | |
Add Travis build for --enable-trace configuration
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions