diff options
author | Domen Kožar <domen@dev.si> | 2020-08-30 23:12:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-30 23:12:11 +0200 |
commit | 56707218f601418b211f37a7b44f671ab3dacd8d (patch) | |
tree | db1a03e9bc225ecd68b74c43c027ec35886d9a69 /doc/manual | |
parent | 8757e7022a9b407b69f173b3793fababf1e8ed84 (diff) | |
parent | f38fe24346ca6b0201aed716db9cf47336a708ee (diff) |
Merge pull request #3970 from NixOS/domenkozar-patch-1
speed up CI
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions