wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-23 22:03:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
865 commits 283 branches 5 tags 6.6 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