tree c2bb3a929269f9fa30f01540daa254d708b672fc
parent 74eb491710fff3f9212d3c5195d49e09f12783dd
author Marc Kupietz <kupietz@ids-mannheim.de> 1618135791 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1618135887 +0200

Decrease ggplot2 base_size from 14 to 12

Change-Id: I94de6fd74922d131a92c51ff3bd02bea79a7ab56