# HG changeset patch # User benoitrigolleau # Date 1201880845 0 # Node ID 23f43d79d94b2d6b8aeb623f79e9f20e3e7ccec4 # Parent 40689f0e8a02b09d86a59000fb823cd756fe7e4b add the grid for the plotter widget diff -r 40689f0e8a02 -r 23f43d79d94b sv/icons/grid.png Binary file sv/icons/grid.png has changed