56e24c8cf3
[DEVELOPMENT ENVIRONMENT] * BUG: Option dialog: Fix the list of different terminals. * NEW: Debugger: Workaround 'gnome-terminal' that is not able to hold its child process. |
||
---|---|---|
.. | ||
desktop | ||
examples | ||
man | ||
mime | ||
src | ||
template | ||
acinclude.m4 | ||
AUTHORS | ||
ChangeLog | ||
configure.ac | ||
COPYING | ||
INSTALL | ||
Makefile.am | ||
NEWS | ||
README | ||
reconf | ||
TODO |