mirror of
https://codeberg.org/scip/pcp.git
synced 2026-10-10 08:44:17 +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