diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-14 18:16:11 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-14 18:16:11 +0000 |
| commit | b2ed130ffd9c79de26249a1dfb2a8312d6af12b3 (patch) | |
| tree | 0ff98ea233dc9c6202660fb54abd3a9189c9993b /docs/dev/guide.md | |
| parent | 767ff2c13c5b8c21fcbac072ff1a18a39b956408 (diff) | |
| parent | 864434137a3ed17f2a96981780bf7d522e57fd4b (diff) | |
Merge #2841
2841: More UI friendly labels r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions