wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-11 16:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
4193 commits 12 branches 4 tags 131 MiB
Commit graph

1 commit

Author SHA1 Message Date
James D. Forrester 0bfecf9118 build: Provide SVGO for crunching SVG files 
Stolen from Codex's version.

Change-Id: Iee6408c42ae2ef13eeadbbf74ec3132c77974279
 2024-10-10 18:17:01 -04:00