diff options
author | James H. Hill <hilljh82@users.noreply.github.com> | 2021-02-05 13:45:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-05 13:45:29 -0500 |
commit | d6d49e4086f8a33e31152c4ab4c3d2972d0fa25a (patch) | |
tree | e804cdc1980ffd02658f283cc526f11d64af944e /.github | |
parent | b3f6d22dcb39d125475651b580e9a5805767b6a1 (diff) | |
parent | 0bec2ed9c2f032d8a2157df302e80492d50ec251 (diff) | |
download | MPC-d6d49e4086f8a33e31152c4ab4c3d2972d0fa25a.tar.gz |
Merge pull request #125 from Kirbk/pinpp-update
Pinpp update to pin3.14 for x64 linux using make
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions