Merge "remove outdated design.txt."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 15 Sep 2018 00:30:41 +0000 (00:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 15 Sep 2018 00:30:41 +0000 (00:30 +0000)
commite86b74abef84c2a51a34c7f58510672c0ccfaf17
tree8f459a12f81b54f2b8225f89cc2d328d6d2cc361
parentfb43ee2a0603e9a52ac6d90aeed2d47e77054dd8
parent6760216e1016b6e9dc6e6905b746a475d6589ca8
Merge "remove outdated design.txt."