From 3df876a9983fc5f9d48c4b1bbf4693edb8a1155f Mon Sep 17 00:00:00 2001 From: Marijn Suijten Date: Wed, 10 Mar 2021 20:14:09 +0100 Subject: [PATCH] gir-files: Add back as submodule from gtk-rs Instead of copying gir files over every once in a while, with split-directory support (https://github.com/gtk-rs/gir/pull/1041) we can now use the submodule directly from https://github.com/gtk-rs/gir-files. --- .gitmodules | 3 +++ gir-files | 1 + 2 files changed, 4 insertions(+) create mode 160000 gir-files diff --git a/.gitmodules b/.gitmodules index d4e793287..4a69cd132 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "gir"] path = gir url = https://github.com/gtk-rs/gir +[submodule "gir-files"] + path = gir-files + url = https://github.com/gtk-rs/gir-files diff --git a/gir-files b/gir-files new file mode 160000 index 000000000..6088bb634 --- /dev/null +++ b/gir-files @@ -0,0 +1 @@ +Subproject commit 6088bb634a406402f308f01d2f33067951d5095b