mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
75cda20a31
Let's not use old unused things lying around... it just confuses people. Change-Id: I30cecb58fbdce0129e0385be3680ca4a2c6c36f8 |
||
---|---|---|
.. | ||
alert | ||
badge | ||
base | ||
desktop | ||
icons | ||
overlay | ||
special | ||
hooks.txt | ||
mixins.less |