From: Peter Munch Date: Sat, 24 Aug 2024 12:27:24 +0000 (+0200) Subject: Merge pull request #17591 from peterrum/Text_ShortText_remove X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa0462343ca6ead843d9d81fe223a724808fc986;p=dealii.git Merge pull request #17591 from peterrum/Text_ShortText_remove Remove deprecated entries in OutputStyle --- fa0462343ca6ead843d9d81fe223a724808fc986