diff options
| author | FliegendeWurst <2012gdwu+github@posteo.de> | 2022-02-02 12:19:55 +0100 |
|---|---|---|
| committer | FliegendeWurst <2012gdwu+github@posteo.de> | 2022-02-02 12:21:29 +0100 |
| commit | ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d (patch) | |
| tree | e906daa55bac6c7ded462b7b96faf746678202b0 /pkgs/development/python-modules/rangehttpserver/default.nix | |
| parent | 6f930f18f041ea291e2878229e747c5eaded49d0 (diff) | |
mlton: disable parallel build
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver/default.nix')
0 files changed, 0 insertions, 0 deletions