Closed MatthijsBurgh closed 2 years ago
I am using these in an update of https://github.com/mikepurvis/catkin_tools_document/.
Please let me know you want these functions here or not. Otherwise I just move them to the document module.
It probably makes most sense for these to live in catkin_tools_document, just because the maintenance/release future for catkin_tools is a bit uncertain right now.
catkin_tools_document
catkin_tools
I am using these in an update of https://github.com/mikepurvis/catkin_tools_document/.
Please let me know you want these functions here or not. Otherwise I just move them to the document module.