summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
12 daysFix geogram: legacy_numeric won't build GCC:10.bartus
2020-01-19Merge branch 'ninja'bartus
2020-01-19ninja switch.bartus
2020-01-16Drop irrelevant patch.bartus
2019-10-23Fix boost-1.71 log, update conflicts/provides/deps, add licences.bartus
2019-09-14Fix doc build.bartus
2019-09-10Update after magma was included in [community]bartus
2018-11-26revert PR:527, upstream mergedbartus
2018-11-20fix auto in lambda expressionbartus
2018-08-31remove osi_cpl, remove submodule warning messagebartus
2018-08-31origbartus