tree ed20daeea114b1cdc97636ea51665126dfc33a90
parent 446cf72c3b03dba536c3f64c573927bea417c401
author Marc Kupietz <kupietz@ids-mannheim.de> 1693558868 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1693558948 +0200

decrease ggplot2 base_size from 12 to 10

Change-Id: I63eae80887c7cea54a0ae0c568427b371f31e26a