diff options
Diffstat (limited to 'editors/gedit/files/patch-gedit_gedit-plugins-engine.c')
| -rw-r--r-- | editors/gedit/files/patch-gedit_gedit-plugins-engine.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/editors/gedit/files/patch-gedit_gedit-plugins-engine.c b/editors/gedit/files/patch-gedit_gedit-plugins-engine.c deleted file mode 100644 index 2fee7b8cd045..000000000000 --- a/editors/gedit/files/patch-gedit_gedit-plugins-engine.c +++ /dev/null @@ -1,13 +0,0 @@ ---- gedit/gedit-plugins-engine.c.orig Fri Aug 5 22:00:45 2005 -+++ gedit/gedit-plugins-engine.c Fri Aug 5 22:01:03 2005 -@@ -314,8 +314,8 @@ gedit_plugins_engine_shutdown (void) - } - } - -- if (info->plugin->handle != NULL) -- g_module_close (info->plugin->handle); -+ /*if (info->plugin->handle != NULL) -+ g_module_close (info->plugin->handle);*/ - - g_free (info->plugin->file); - g_free (info->plugin->location); |