Minor fixes in the User Guide and a GUI label regarding annotations options group #12781
Minor fixes in the User Guide and a GUI label regarding annotations o…
54055494
CyrilleB79
marked this pull request as ready for review 5 years ago
CyrilleB79
deleted the fixupAnnotations branch 5 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub