Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix plugin_formatter.py -l / MODULES=none make webdocs
Fix the get_module_info check against the limit_to_modules list so building a subset/none of the module docs works again.
- Loading branch information