protect code for when petsc not activated
Description
Description
Details
Details
- Committed
anciaux Tue, Oct 1, 23:55 - Pushed
gitlab-richart Tue, Oct 1, 23:56 - Parents
- rAKAfd93c90db44f: fix bug at destruction of dof_manager
- Branches
- Unknown
- Tags
anciaux | Tue, Oct 1, 23:55 |
gitlab-richart | Tue, Oct 1, 23:56 |