diff options
| author | Domen Kožar <domen@dev.si> | 2020-08-30 22:52:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-30 22:52:34 +0200 |
| commit | f38fe24346ca6b0201aed716db9cf47336a708ee (patch) | |
| tree | db1a03e9bc225ecd68b74c43c027ec35886d9a69 /m4 | |
| parent | 8757e7022a9b407b69f173b3793fababf1e8ed84 (diff) | |
speed up CI
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions