Skip to content
Snippets Groups Projects

Update FormalDescriptions.md

Passed
Peter Lünenschloß created pipeline for commit 572c401e
, finished
1 related merge request: !78 doc-string doc of test functionality
3 jobs 9 minutes 41 seconds, queued for 0 seconds