Skip to content

Move tool buttons to side pane #11393

Move tool buttons to side pane

Move tool buttons to side pane #11393

test-slurm (ubuntu-latest, 3.12)  /  Run ert tests

succeeded Oct 17, 2024 in 5m 50s