Hashar has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/367359 )
Change subject: Unregister Cards
......................................................................
Unregister Cards
Bug: T167452
Change-Id: Id293318f364356575ceb873b47379e48fd5e6c56
---
M .gitmodules
D Cards
2 files changed, 0 insertions(+), 5 deletions(-)
Approvals:
Hashar: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index aa89675..9d9f279 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -298,10 +298,6 @@
path = Capiunto
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Capiunto
branch = .
-[submodule "Cards"]
- path = Cards
- url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Cards
- branch = .
[submodule "Cargo"]
path = Cargo
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Cargo
diff --git a/Cards b/Cards
deleted file mode 160000
index 9e96cd4..0000000
--- a/Cards
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9e96cd44ed9e7550ecc1e86aff133f5f3b828963
--
To view, visit https://gerrit.wikimedia.org/r/367359
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id293318f364356575ceb873b47379e48fd5e6c56
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
