[gedit-plugins] po: the findinfiles plugin is gone

[Sébastien Wilmet <swilmet src gnome org>]

commit 7e4de0a3c92308154333930b3e6f744a35f70c43
Author: Sébastien Wilmet <swilmet informatique-libre be>
Date:   Mon Jul 18 05:37:45 2022 +0200

    po: the findinfiles plugin is gone

 po/POTFILES.in   | 6 ------
 po/POTFILES.skip | 4 ----
 2 files changed, 10 deletions(-)
---
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 97c98d6..83f988f 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -26,12 +26,6 @@ plugins/drawspaces/drawspaces.plugin.desktop.in.in
 plugins/drawspaces/gedit-drawspaces-app-activatable.c
 plugins/drawspaces/gedit-drawspaces.metainfo.xml.in
 plugins/drawspaces/org.gnome.gedit.plugins.drawspaces.gschema.xml
-plugins/findinfiles/dialog.ui
-plugins/findinfiles/dialog.vala
-plugins/findinfiles/findinfiles.plugin.desktop.in.in
-plugins/findinfiles/gedit-findinfiles.metainfo.xml.in
-plugins/findinfiles/plugin.vala
-plugins/findinfiles/result-panel.vala
 plugins/git/gedit-git.metainfo.xml.in
 plugins/git/git.plugin.desktop.in.in
 plugins/joinlines/gedit-joinlines.metainfo.xml.in
diff --git a/po/POTFILES.skip b/po/POTFILES.skip
index 14160e1..56a2639 100644
--- a/po/POTFILES.skip
+++ b/po/POTFILES.skip
@@ -8,10 +8,6 @@ plugins/colorpicker/colorpicker.plugin.desktop.in
 plugins/colorschemer/colorschemer.plugin.desktop.in
 plugins/commander/commander.plugin.desktop.in
 plugins/drawspaces/drawspaces.plugin.desktop.in
-plugins/findinfiles/dialog.c
-plugins/findinfiles/findinfiles.plugin.desktop.in
-plugins/findinfiles/plugin.c
-plugins/findinfiles/result-panel.c
 plugins/git/git.plugin.desktop.in
 plugins/joinlines/joinlines.plugin.desktop.in
 plugins/multiedit/multiedit.plugin.desktop.in