0f10f0
diff -urNp devhelp-3.28.1.old/plugins/gedit-plugin/devhelp.plugin.desktop.in devhelp-3.28.1/plugins/gedit-plugin/devhelp.plugin.desktop.in
0f10f0
--- devhelp-3.28.1.old/plugins/gedit-plugin/devhelp.plugin.desktop.in	2018-06-06 19:10:51.608355911 +0100
0f10f0
+++ devhelp-3.28.1/plugins/gedit-plugin/devhelp.plugin.desktop.in	2018-06-06 19:12:25.448057120 +0100
0f10f0
@@ -1,5 +1,5 @@
0f10f0
 [Plugin]
0f10f0
-Loader=python3
0f10f0
+Loader=python
0f10f0
 Module=devhelp
0f10f0
 IAge=3
0f10f0
 Name=Devhelp support