Update docs/source/developer_docs.rst
Thanks @HenKlei
Co-authored-by:
Hendrik Kleikamp <hendrik.kleikamp@uni-muenster.de>
Thanks @HenKlei
Co-authored-by:
Hendrik Kleikamp <hendrik.kleikamp@uni-muenster.de>
mentioned in commit dd800f7e
·mentioned in commit dd800f7e