Skip to content
Snippets Groups Projects

Update FormalDescriptions.md

Passed
Peter Lünenschloß created pipeline for commit 7ad3f992
, finished
1 related merge request: !78 doc-string doc of test functionality
3 jobs 6 minutes 47 seconds, queued for 2 seconds