Skip to content

Docstring update

Moritz Huebner requested 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