mirror of
https://github.com/Cantera/cantera.git
synced 2025-02-25 18:55:29 -06:00
The '--devel' option is apparently only meant for pointing at tagged development releases, rather than the tip of a branch.
The '--devel' option is apparently only meant for pointing at tagged development releases, rather than the tip of a branch.