Display for a character table optionally shows the degrees of the character fields#5047
Merged
fingolfin merged 1 commit intogap-system:masterfrom ThomasBreuer:TB_Display_character_fieldSep 15, 2022
+51-5
