Merge "resources: Rename oojs-ui file paths to ooui per general branding"
[lhc/web/wiklou.git] / resources / lib / ooui / themes / wikimediaui / images / icons / mathematicsDisplayInline.svg
2018-09-10 jenkins-botMerge "resources: Rename oojs-ui file paths to ooui...
2018-09-10 James D. Forresterresources: Rename oojs-ui file paths to ooui per genera...