Skip to content
Snippets Groups Projects
Commit 572c401e authored by Peter Lünenschloß's avatar Peter Lünenschloß
Browse files

Update FormalDescriptions.md

parent 5566b72c
No related branches found
No related tags found
3 merge requests!193Release 1.4,!188Release 1.4,!78doc-string doc of test functionality
Pipeline #6113 passed with stage
in 9 minutes and 41 seconds