gnome: rename gtk to gtk2, move most gir files to basis/gir

[factor.git] / basis / game / input / gtk / tags.txt

diff --git a/basis/game/input/gtk/tags.txt b/basis/game/input/gtk/tags.txt
deleted file mode 100644 (file)
index 84d4140..0000000
--- a/basis/game/input/gtk/tags.txt
+++ /dev/null
@@ -1 +0,0 @@
-games