Skip to content

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering #852

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering #852

Triggered via push December 1, 2023 13:57
Status Success
Total duration 55s
Artifacts

reuse.yml

on: push
Fit to window
Zoom out
Zoom in