Fri, 15 Feb 2019 15:49:17 -0500 | Jordi Gutiérrez Hermoso | color: change color of grep.rev label (BC) | changeset | files |
Fri, 15 Feb 2019 15:43:22 -0500 | Jordi Gutiérrez Hermoso | color: give colours to the grep.inserted and grep.deleted labels | changeset | files |
Fri, 15 Feb 2019 15:24:04 -0500 | Jordi Gutiérrez Hermoso | grep: give different labels to + and - symbols | changeset | files |
Mon, 18 Feb 2019 00:27:25 +0900 | FUJIWARA Katsunori | tests: bulk changes to avoid whitespace errors of check-code.py | changeset | files |