Skip to content
Snippets Groups Projects

Update FormalDescriptions.md

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