wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 10:19:35 +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
(cherry picked from commit 6f6d80416a)
This commit is contained in:
James D. Forrester 2019-03-19 09:26:07 -07:00 committed by Bartosz Dziewoński
parent 9da5996c0e
commit 24235d3724
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"]
path = lib/ve
url = https://gerrit.wikimedia.org/r/p/VisualEditor/VisualEditor.git
url = https://gerrit.wikimedia.org/r/VisualEditor/VisualEditor.git