diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-15 10:40:47 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-15 10:40:47 +0100 |
| commit | 3b8aa8e2296b722b1f35121268d12a253902e160 (patch) | |
| tree | 6b065f12f377f18d9af48ae9f4c582a0be1cca94 /doc | |
| parent | 91c9ed812f77f5691d96f76c67eadd28557aeb6c (diff) | |
| download | dabmod-3b8aa8e2296b722b1f35121268d12a253902e160.tar.gz dabmod-3b8aa8e2296b722b1f35121268d12a253902e160.tar.bz2 dabmod-3b8aa8e2296b722b1f35121268d12a253902e160.zip | |
Properly set Travis flags
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions