Skip to content

Final plot gui fix

Davide Punzo requested to merge github/fork/Punzo/finalPlotGUIFix into master

a very minor fix for the PlotInformation GUI. @jcfr or @lassoan may you merge this as well? Thanks!

Merge request reports