diff options
author | Jean Felder <jfelder@src.gnome.org> | 2022-08-03 17:52:03 +0200 |
---|---|---|
committer | Jean Felder <jfelder@src.gnome.org> | 2022-08-03 17:54:37 +0200 |
commit | 2676c98e48f7296bb5b3c295084a2c54c44683eb (patch) | |
tree | b86b9fe647e163e10da5e3a6cc72fdaa2f428cb2 | |
parent | cc333f80a1f38c384af90c24ff31f42a9f47fe31 (diff) |
submodules: Remove gfm
It is not used since the Gtk4 port (version 42).
-rw-r--r-- | .gitmodules | 3 | ||||
-rw-r--r-- | po/POTFILES.skip | 1 | ||||
m--------- | subprojects/gfm | 0 |
3 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 9b66516e..b2aeb1fe 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,3 @@ [submodule "subprojects/shared-modules"] path = subprojects/shared-modules url = https://github.com/flathub/shared-modules.git -[submodule "subprojects/gfm"] - path = subprojects/gfm - url = https://gitlab.gnome.org/mschraal/gfm.git diff --git a/po/POTFILES.skip b/po/POTFILES.skip index 006a563b..72df75eb 100644 --- a/po/POTFILES.skip +++ b/po/POTFILES.skip @@ -2,4 +2,3 @@ # Please keep this file sorted alphabetically. data/ui/AboutDialog.ui data/org.gnome.Music.appdata.xml -subprojects/gfm diff --git a/subprojects/gfm b/subprojects/gfm deleted file mode 160000 -Subproject f53bde10101e025c83868bcbad34f7a248d0526 |