Closed bangerth closed 2 months ago
Currently, this shows up as double parentheses at https://dealii.org/developer/doxygen/deal.II/CodeGallery.html .
Follow-up to #178/#179.
Currently, this shows up as double parentheses at https://dealii.org/developer/doxygen/deal.II/CodeGallery.html .