Closed deadprogram closed 1 year ago
This PR switches to use Docsy as a module, since the original use of the theme as a git submodule is now giving trouble with building the needed SCSS/JS dependencies.
This PR switches to use Docsy as a module, since the original use of the theme as a git submodule is now giving trouble with building the needed SCSS/JS dependencies.