Skip to content

Use pretty-ci instead of style-ci#278

Merged
dbu merged 2 commits intomasterfrom
pretty-ci
Oct 25, 2018
Merged

Use pretty-ci instead of style-ci#278
dbu merged 2 commits intomasterfrom
pretty-ci

Commits

Commits on Oct 25, 2018