wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-30 17:54:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
5018 commits 11 branches 25 tags 41 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 3411ac9c36 build: Update stylelint config 
Change-Id: I653fd5ab4a420eb2264b9bfe714ee2a2002097d0
 2023-05-30 20:18:01 +00:00
Umherirrender 4c89ab4b62 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I1629e74a301e76a436dcec8b363f09aebfcecac8
 2017-08-19 09:39:19 +02:00
Renamed from .stylelintrc (Browse further)