wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-27 15:40:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
838 commits 11 branches 25 tags 6.5 MiB
Commit graph

1 commit

Author SHA1 Message Date
Umherirrender 4113b90e4c build: Run stylelint for less file 
Since b2113e01 a less file exists

Change-Id: I77bbbb2dbbc9dba3ce5858fe5e0732e11ba803e5
 2023-11-28 20:53:38 +01:00