Merge "Print: Add padding on pre elements"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 8 Jun 2019 22:41:47 +0000 (22:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 8 Jun 2019 22:41:47 +0000 (22:41 +0000)
commit701b642fdc55de095e050cc56d65c61225473a06
tree69c91567ae51f173fe503cd3fdc90851bc6e746e
parent6948d200535319f5e1f84d1744d42832b54543ad
parentf0db50867f14c569137da124cb9a7252f940ce69
Merge "Print: Add padding on pre elements"
resources/src/mediawiki.legacy/commonPrint.css