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