diff options
Diffstat (limited to 'doc/known-files/ef78f401a9b5a42fd15e967c50da384f99ec62f9dbc66ea38f1390b46b63e1ff')
| -rw-r--r-- | doc/known-files/ef78f401a9b5a42fd15e967c50da384f99ec62f9dbc66ea38f1390b46b63e1ff | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/known-files/ef78f401a9b5a42fd15e967c50da384f99ec62f9dbc66ea38f1390b46b63e1ff b/doc/known-files/ef78f401a9b5a42fd15e967c50da384f99ec62f9dbc66ea38f1390b46b63e1ff new file mode 100644 index 0000000..a6ea007 --- /dev/null +++ b/doc/known-files/ef78f401a9b5a42fd15e967c50da384f99ec62f9dbc66ea38f1390b46b63e1ff @@ -0,0 +1,5 @@ +build-users-group = nixbld + +max-jobs = 32 +cores = 1 +sandbox = false |