Skip to content

@drasmuss drasmuss released this Nov 14, 2019 · 4 commits to master since this release


  • Added support for nengo_sphinx_theme.ext.redirects, which can be used to automatically add redirects for renamed documentation pages. (#68)


  • Added locking to script to avoid possible race conditions during cleanup. (#69)
Assets 2
You can’t perform that action at this time.