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 | |
parent | cc39ef169fdc26da94e266e2a002eb8bee75f7c7 (diff) |
Remove the terminal keybinding, terminal is now in the devel console
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions