diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-08 08:12:33 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-08 08:12:33 +0000 |
commit | 6f2bdbadde2d690191d940681297207e1e451f40 (patch) | |
tree | 4c80ec8a348dcd0c095140249a6a62657c2191f4 /.gitignore | |
parent | 276eca246349f00f464e1ea3652b128c1ae1fee9 (diff) | |
parent | 7bd83c9b167987d73b25f74cba0005fe94102a7a (diff) | |
parent | 0f3c9f4966d18fbd1a433cb319060ba37711953c (diff) |
Merge #4 #5
4: Remove travis config file r=matthiasbeyer a=matthiasbeyer
5: Remove srht build config r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>