#476716 gnome-terminal: Gnome-terminal documentation problem - can't see what these options do #476716
- Package:
- gnome-terminal
- Source:
- gnome-terminal
- Description:
- GNOME terminal emulator application
- Submitter:
- Happy Gimper
- Date:
- 2008-04-18 16:09:05 UTC
- Severity:
- minor