Rui Matos 0249993377 keybindings: Remove #if 0'd code
There's no reason to keep this ~15 year old piece of code around as
well as the preference handling that would only make sense if this
hunk was actually enabled.

https://bugzilla.gnome.org/show_bug.cgi?id=746642
2016-11-23 18:40:05 +01:00
2016-11-23 18:03:59 +01:00
2016-11-23 18:03:59 +01:00
2016-08-19 11:04:48 +02:00
2015-07-06 00:52:18 -07:00
2016-11-21 08:47:23 +01:00
2016-11-23 18:40:05 +01:00
2014-03-18 20:37:35 -04:00
2016-04-27 20:37:47 +02:00
2014-07-31 17:50:28 +02:00
2016-10-30 22:24:13 +01:00
Description
94 MiB
Languages
C 98.9%
Meson 0.7%
Python 0.3%