diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-12-14 16:03:11 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-12-14 16:03:11 (GMT) |
| commit | cc74954770403c6aee524ea3480c175930a44cdc (patch) | |
| tree | 994d6e0a033281496d11e9ffbe306426409616e8 /docs/design.txt | |
| parent | cc39ef169fdc26da94e266e2a002eb8bee75f7c7 (diff) | |
Remove the terminal keybinding, terminal is now in the devel console
Diffstat (limited to 'docs/design.txt')
0 files changed, 0 insertions, 0 deletions