[gnome-builder] po: update POTFILES.in

[Christian Hergert <chergert src gnome org>]

commit 3d1a019185754be50d21ef720f3b57a230d0d2a7
Author: Christian Hergert <chergert redhat com>
Date:   Wed May 1 11:53:14 2019 -0700

    po: update POTFILES.in

 po/POTFILES.in | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 7441cae1f..3e31a080d 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -130,6 +130,7 @@ src/libide/terminal/gtk/menus.ui
 src/libide/terminal/ide-terminal-launcher.c
 src/libide/terminal/ide-terminal-page-actions.c
 src/libide/terminal/ide-terminal-page.c
+src/libide/terminal/ide-terminal-popover.ui
 src/libide/terminal/ide-terminal-search.c
 src/libide/terminal/ide-terminal-search.ui
 src/libide/terminal/ide-terminal-workspace.ui