diff options
author | Michael Vetter <jubalh@iodoru.org> | 2020-04-01 15:01:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-01 15:01:50 +0200 |
commit | 15e05d1706cc3cdc3d637e25ed83f6acbd26b59e (patch) | |
tree | 19e601293fe7794cce07ff7b9f3cae9a42693dcf /themes/bios | |
parent | 7eec3107fc57b9a43fc9e9edaae3315f56fd9523 (diff) | |
parent | 06f8299e7c353e592fe520ff5658b230a59f2ac6 (diff) | |
download | profani-tty-15e05d1706cc3cdc3d637e25ed83f6acbd26b59e.tar.gz |
Merge pull request #1296 from wstrm/ci-without-coreutils
Fallback for nproc for systems without GNU coreutils
Diffstat (limited to 'themes/bios')
0 files changed, 0 insertions, 0 deletions