diff options
| author | Will Dietz <w@wdtz.org> | 2017-11-08 12:16:16 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-02-13 09:44:45 -0600 |
| commit | cbdd20878ead3d3d9c4b169f8123e637e426339d (patch) | |
| tree | 1c54f39fdec2918676798feb675415daeb7dda9e /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 12e60c232a7691510dc8b13f069bd1c89e8eaaa7 (diff) | |
cvc4: build in parallel
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions