diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-08 08:12:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-08 08:12:37 +0000 |
| commit | 2b6c0c370c80164e4f321c590eadfd0a044cc945 (patch) | |
| tree | 5951d096ec40cd56323927409db753e2bb92c35c | |
| parent | b7d90dd7fd2f812e6e80c83d8224c9d689b703e2 (diff) | |
| parent | aede0227d9a5a0d6ada3365e7cbae430986ef7be (diff) | |
| parent | b28d8068c433065eb81320079090a1806547cf26 (diff) | |
Merge #4 #5
4: Remove travis config file r=matthiasbeyer a=matthiasbeyer
5: Remove srht config files r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>