diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-04-07 16:20:39 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-04-07 16:22:05 +0200 |
| commit | df1ca9e93a61787ea7ad8743dfb400126a52b8e9 (patch) | |
| tree | f15b80e74174bf3eb75bc07138271e22b64b5b4a /doc/.gitignore | |
| parent | a5fd74667459d74c81ea701f32f688916bf0a719 (diff) | |
| parent | d80baaa514260334077799abbce4d7f16c2a538d (diff) | |
Merge #10159: [tests] color test results and sort alphabetically
d80baaa fixup - align summary row correctly and make colors/glyphs globals (John Newbery)
bb92d83 [tests] Add unicode symbols for tests passing/failing/skipping (John Newbery)
63062bd [tests] color test results and sort alphabetically (John Newbery)
Tree-SHA512: a5b85c05480722abd6e483d1817b7527ca487b8bb8292bc81efba158df5a619b8103ed43b790396071ab0710f39457895a79460480044324798c81331bbade5a
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions