jenkins-bot has submitted this change and it was merged.

Change subject: doc: Add base_convert
......................................................................


doc: Add base_convert

Change-Id: Idd492348483e7414ece0f4da798853daf0177b41
---
M org/wikimedia/doc/default.html
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/org/wikimedia/doc/default.html b/org/wikimedia/doc/default.html
index 7f1b8fb..53f522d 100644
--- a/org/wikimedia/doc/default.html
+++ b/org/wikimedia/doc/default.html
@@ -6,6 +6,7 @@
 <h3>Libraries</h3>
 <ul>
        <li><a href="at-ease/master/">at-ease</a></li>
+       <li><a href="base-convert/master/">base_convert</a></li>
        <li><a href="cdb/master/">CDB</a></li>
        <li><a href="CLDRPluralRuleParser/master/">CLDRPluralRuleParser</a></li>
        <li><a href="IPSet/master/">IPSet</a></li>

-- 
To view, visit https://gerrit.wikimedia.org/r/249909
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Idd492348483e7414ece0f4da798853daf0177b41
Gerrit-PatchSet: 1
Gerrit-Project: integration/docroot
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to