Jesse van den Kieboom a8eda0f312 Add diff highlight preference		2016-01-03 20:46:23 +01:00
..
diff	Add diff highlight preference	2016-01-03 20:46:23 +01:00
files	First step in replacing webkit with standard gtk+	2015-09-23 08:57:15 +02:00
Makefile	Fix install rules for plugins	2014-06-30 14:11:20 +02:00
Makefile.am	Use non-recursive make to build plugins	2014-01-04 15:58:23 +01:00