implemented changes to move to deal.II version 9.6.0#55

Merged

luca-heltai merged 5 commits intomasterfrom deal_v_9_6_modifications

Nov 20, 2024

+205-210

Commits on Nov 19, 2024

implemented changes to move to deal.II version 9.6.0
Andrea Mola
committed

Commits on Nov 20, 2024