Skip to content

Docstring update

Moritz Huebnerrequested to merge
docstring_update into master

I also made some minor changes to prior.py and result.py. Should not be a big deal

Merge request reports