diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2022-07-20 22:13:34 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2022-07-20 22:13:34 +0200 |
| commit | e61e565ad242e7758ee4f5ce2659ce7191c9217d (patch) | |
| tree | baf59302aa26740352f1920d3b4206757f88d7ad /.github | |
| parent | 908da30369f2e25f9045a069a25b5c9d244762a0 (diff) | |
| download | mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.tar.gz mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.tar.bz2 mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.zip | |
Remove Travis-CI
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions