diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-30 12:31:04 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-30 12:31:04 +0000 |
| commit | 8a324728880dea8500dd7a19fbd776e02c989cf0 (patch) | |
| tree | bd7bfdae2242ac4df961dfdd93996120e6bb77e5 /mixgtk/mixgtk_mixvm.h | |
| parent | df0192907073d3e64bbdf38b2874c23672bfd311 (diff) | |
| download | mdk-8a324728880dea8500dd7a19fbd776e02c989cf0.tar.gz mdk-8a324728880dea8500dd7a19fbd776e02c989cf0.tar.bz2 | |
(main): new option -O to disable debug, which is now enabled by default.
Diffstat (limited to 'mixgtk/mixgtk_mixvm.h')
0 files changed, 0 insertions, 0 deletions