diff build_packages.m @ 4186:393571034f24

* tools/makeinst-script.sh.in: set appid of desktop (GUI).lnk
author John D
date Tue, 09 Aug 2016 16:50:32 -0400
parents fc1bee8ff2d4
children 8e40067cad8b
line wrap: on
line diff