Skip to content

Reverts from previous fix install commits, see Thomas PR to fix venv path.

Brett requested to merge (removed):frama into frama

This reverts commits 6cda5e25 and 179321d1.

Merge request reports

Loading