Remove -bounddeps/-bounddepsprio and document -bound (!58) · Merge requests · solverstack / Chameleon · GitLab

Mentions légales du service

Snippets Groups Projects

Merged THIBAULT Samuel requested to merge thibault/chameleon:bound into master 7 years ago

Activity

THIBAULT Samuel added 1 commit 7 years ago
added 1 commit

6f0f5416 - Add option documentation in texinfo too

Compare with previous version
Mathieu Faverge @faverge · 7 years ago

Owner

Good for me. I'll rebase your branch on the new master to regenerate a build with the new CI environment if that's ok, and I'll merge it.
Mathieu Faverge added 6 commits 7 years ago
added 6 commits

6f0f5416...363bf86f - 4 commits from branch solverstack:master

b20c3384 - Remove -bounddeps/-bounddepsprio and document -bound

12481e81 - Add option documentation in texinfo too

Compare with previous version
Mathieu Faverge enabled an automatic merge when the pipeline for 12481e81 succeeds 7 years ago

enabled an automatic merge when the pipeline for 12481e81 succeeds
Mathieu Faverge canceled the automatic merge 7 years ago

canceled the automatic merge
Mathieu Faverge merged 7 years ago

merged
Mathieu Faverge mentioned in commit 63807de3 7 years ago

mentioned in commit 63807de3

Please register or sign in to reply