diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-11-16 10:22:47 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-11-16 10:22:47 +0100 |
| commit | 3153e8b004772298db2bd74c2ca31bd0fff88f11 (patch) | |
| tree | 8f26b174cd45de352a940d9f1412d24dfdb965f0 /.gitignore | |
| parent | 94871e57988f96881405e02e1f628946fed3651c (diff) | |
| download | ODR-SourceCompanion-3153e8b004772298db2bd74c2ca31bd0fff88f11.tar.gz ODR-SourceCompanion-3153e8b004772298db2bd74c2ca31bd0fff88f11.tar.bz2 ODR-SourceCompanion-3153e8b004772298db2bd74c2ca31bd0fff88f11.zip | |
Travis: Try ubuntu focal
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions