Skip to content
Snippets Groups Projects

Update FormalDescriptions.md

Passed
Peter Lünenschloß created pipeline for commit 45856f29
, finished
1 related merge request: !78 doc-string doc of test functionality
3 jobs 9 minutes 45 seconds, queued for 2 seconds