projects / emu8051.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d230e5d) | patch
Remove display of command line options in GUI mode
authorHugo Villeneuve <hugo@hugovil.com>
Fri, 24 Jan 2014 00:45:14 +0000 (19:45 -0500)
committerHugo Villeneuve <hugo@hugovil.com>
Fri, 24 Jan 2014 00:45:14 +0000 (19:45 -0500)
commitff643bede11e48b365dc3c8090b80e8f89ab6e9a
treea01b382c63028166f573ba75e290c596e3946745tree | snapshot
parentd230e5df59cfca29c61723b339a61d8d3316a073commit | diff
Remove display of command line options in GUI mode

The information message was manually edited, which creates synchronization
problems now that we are using argp to manage our options.
src/common/options.h diff | blob | history
src/gtk/helpmenu.c diff | blob | history
Emulator and simulator for 8051 microcontrollers