mirror of
https://codeberg.org/scip/pcp.git
synced 2026-07-09 19:24:22 +02:00
- context is now a pointer to make sure there's only one all the time - fixed a couple of double free's - some minor bug fixes
- context is now a pointer to make sure there's only one all the time - fixed a couple of double free's - some minor bug fixes