Replace the 'dev-why3' binary by 'dev-env' which sets shell environment variables#986

Merged

xldenis merged 1 commit intocreusot-rs:masterfrom Armael:dev-env

Apr 5, 2024

+44-19

Commits on Apr 5, 2024

Replace the 'dev-why3' binary by 'dev-env' which sets shell environment variables
Armael
committed