diff options
author | sternenseemann <sternenseemann@systemli.org> | 2022-05-18 13:54:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-18 13:54:44 +0200 |
commit | d5f9a9d801df73eec3d0b7ef171a170f02e35908 (patch) | |
tree | 438d5dfc10fadf61a76e6b86258962ed557c79ac /pkgs/development/compilers/purescript | |
parent | 22c1a06a4a8eba061e388d997184adf6c0b7f1be (diff) | |
parent | ff78be018d9e6661ca1e867aa6bd7d5a1f04a9d8 (diff) |
Merge pull request #173481 from NixOS/cgit-parallel
cgit,cgit-pink: enableParallelBuilding
Diffstat (limited to 'pkgs/development/compilers/purescript')
0 files changed, 0 insertions, 0 deletions