2 commits

Author	SHA1	Message	Date
Jens Schendel	016b3adb36	Update mining.md (#1938) ... minor changes to increase readability.	2023-01-20 09:00:37 -05:00
Christian Lehmann	355472b0f7	Major rework on documentation to make it compatible to readthedocs.org	2020-09-01 00:48:08 -04:00