Open jgoeders opened 6 months ago
We should have some documentation on external tools, discussing which tools we support, how to install them, etc. This relates to the external_tools.py file added in #385
external_tools.py
We should have some documentation on external tools, discussing which tools we support, how to install them, etc. This relates to the
external_tools.py
file added in #385