diff options
| author | makefu <github@syntax-fehler.de> | 2017-07-16 23:29:03 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2017-07-16 23:29:03 +0200 |
| commit | 7fa327dde1b69dd62a54074edf45a7a1987afd1c (patch) | |
| tree | f1a56b4b12236437057e535d5589887a0533ccda /shell.nix | |
| parent | a3f6c2e49d37eb8d629cac1e8365d5b90a2ccd3c (diff) | |
wbob.r: cores = 4
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions