wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 22:13:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

.gitmodules: Update gerrit URI syntax, deprecated ages ago, now unsupported

Browse source 
Bug: T218694
Change-Id: I61a5e68e74176f9f25bddf154eb100b224a018f5
This commit is contained in:
James D. Forrester 2019-03-19 09:26:07 -07:00 committed by Zfilipin
parent 2101a0f661
commit 6f6d80416a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitmodules vendored
View file

@ -1,3 +1,3 @@
[submodule "lib/ve"] [submodule "lib/ve"]
path = lib/ve path = lib/ve
url = https://gerrit.wikimedia.org/r/p/VisualEditor/VisualEditor.git url = https://gerrit.wikimedia.org/r/VisualEditor/VisualEditor.git