From cc74954770403c6aee524ea3480c175930a44cdc Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Thu, 14 Dec 2006 16:03:11 +0000 Subject: Remove the terminal keybinding, terminal is now in the devel console --- (limited to 'docs') -- cgit v0.9.1