diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 21:02:36 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 21:02:36 +0200 |
commit | 14a42ebabfd56eb50447d8d8c8d4e2b1235cf1c7 (patch) | |
tree | e75830cdec59667c260e9d1124966b03428cd5e2 /README.md | |
parent | 97d33564c056b16f6e037d978d9516d455f426ad (diff) |
ci: final tweaks to azure pipelines and remove travis
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions