You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the documentation is manually written (due to issues with getting autodoc working in combination with time-pressure), but this creates a decent amount of overhead if there's a major change in the API.
autodoc would make it much easier to maintain the documentation.
The text was updated successfully, but these errors were encountered:
Currently the documentation is manually written (due to issues with getting
autodoc
working in combination with time-pressure), but this creates a decent amount of overhead if there's a major change in the API.autodoc
would make it much easier to maintain the documentation.The text was updated successfully, but these errors were encountered: