Closed Sergio0694 closed 2 years ago
This PR removes the local copy of the docs and switches to a git submodule. This eliminates the need to manually keep docs up to date and to have multiple copies around.
This PR removes the local copy of the docs and switches to a git submodule. This eliminates the need to manually keep docs up to date and to have multiple copies around.