mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 03:34:25 +00:00
09781a5a96
Change-Id: I15cc4597d75a18f07bf96491df7a21113b0376ba |
||
---|---|---|
.. | ||
Dropdown.less | ||
MainMenu.less | ||
PageTools.less | ||
PinnableElement.less | ||
PinnableHeader.less | ||
StickyHeader.less | ||
TableOfContents.less |