Skip to content
Snippets Groups Projects
Commit cd5eeb34 authored by Arun Das's avatar Arun Das
Browse files

Merge branch 'minor-docu-updates-wrt-gui' into 'develop'

Minor docu updates wrt GUI

See merge request !265
parents 2d86deef 4b0b8fe8
No related branches found
No related tags found
2 merge requests!266Merge develop into main for v1.2,!265Minor docu updates wrt GUI
Pipeline #61707 running