make docs build successfully , activate dochack#426
Merged
mratsim merged 20 commits intomratsim:master from Vindaar:fixDocsApr 6, 2020
+980-378
Commits
Commits on Apr 2, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 4, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed