Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/203957
Change subject: Removing Hanp, to be deleted.
......................................................................
Removing Hanp, to be deleted.
Change-Id: Id43ab7245425bb84ec982e7123cd75f13574be2b
---
M .gitmodules
D Hanp
2 files changed, 0 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions
refs/changes/57/203957/1
diff --git a/.gitmodules b/.gitmodules
index 04cc9f4..38a1d8b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -954,10 +954,6 @@
path = HTMLets
url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/HTMLets.git
branch = .
-[submodule "Hanp"]
- path = Hanp
- url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Hanp.git
- branch = .
[submodule "HashTables"]
path = HashTables
url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/HashTables.git
diff --git a/Hanp b/Hanp
deleted file mode 160000
index 6570587..0000000
--- a/Hanp
+++ /dev/null
-Subproject commit 65705872c0cd4ca026a11dd88e692afc492d971b
--
To view, visit https://gerrit.wikimedia.org/r/203957
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id43ab7245425bb84ec982e7123cd75f13574be2b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
