diff Gui/app.c @ 13353:65207324b932

make it possible to use the run command from a menu config file, based on a patch by Aurelien Jacobs <aurel@gnuage.org>
author faust3
date Thu, 16 Sep 2004 09:25:56 +0000
parents bc24dd70c6e2
children 9635dcba8f29
line wrap: on
line diff