Closed billdenney closed 1 year ago
Fix #50
When rebuilding the documentation, some other changes occurred, but those are unrelated to the main purpose of the PR.
Implemented changes you proposed, but it a separate commit. So closing, but not merging the pull request.
Fix #50
When rebuilding the documentation, some other changes occurred, but those are unrelated to the main purpose of the PR.