diff scripts/gui/helpdlg.m @ 20177:15e5eb7a0c1d

make dist: add updated zoom images to EXTRADIST (bug #44579) * libgui/graphics/module.mk: add graphics/images/zoom-in.png, graphics/images/zoom-out.png, remove graphics/images/zoom.png
author John Donoghue
date Thu, 19 Mar 2015 08:37:47 -0400
parents 93b3d03b05e7
children 777f26aa8e3e
line wrap: on
line diff