Closed JoaoRodrigues closed 3 years ago
Currently we have to manually update the documentation (web page) to reflect the tools. It would be nice to automate this with a github action. Any volunteers? :) @mtrellet
Closed by #97
Currently we have to manually update the documentation (web page) to reflect the tools. It would be nice to automate this with a github action. Any volunteers? :) @mtrellet