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

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

diff --git a/basis/game/input/gtk/platforms.txt b/basis/game/input/gtk/platforms.txt
deleted file mode 100644 (file)
index a08e1f3..0000000
--- a/basis/game/input/gtk/platforms.txt
+++ /dev/null
@@ -1 +0,0 @@
-linux