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/applications/editors | |
parent | 6f930f18f041ea291e2878229e747c5eaded49d0 (diff) | |
download | nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar.gz nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar.bz2 nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar.lz nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar.xz nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.tar.zst nixpkgs-ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d.zip |
mlton: disable parallel build
Diffstat (limited to 'pkgs/applications/editors')
0 files changed, 0 insertions, 0 deletions