mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-12-11 22:56:01 +00:00
f1bd3175fd
There is a lot of copy-pasting going on here. I hope the longer file names also make it more obvious what's actually happening here. Change-Id: I1cb5fe230cc8e2b90d97f92bc0156110afd6fc79
2 lines
54 B
Plaintext
2 lines
54 B
Plaintext
@import 'ext.cite.parsoid.comma-instead-of-dot.less';
|