dof_manager_mu…

History Graph

Commit	Author	Details	Committed
2d642dd472d8	richart	This closes #1, problem with `-j auto` in versions prior to 1.7	Nov 13 2020
1ca3bf659e84	richart	[ci] Extanding the ci:	Nov 13 2020
4bf20f1e8c72	richart	[doc] making the config a bit more generic	May 8 2020
f2b54f6e0331	richart	Modifications for the documentation	May 6 2020