diff options
| author | w0rp <devw0rp@gmail.com> | 2019-09-01 14:09:17 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-09-01 14:09:17 +0100 |
| commit | 6e18c03d80c323e740f87103fc05955b5c61b54e (patch) | |
| tree | 6ab1ec7f6fb0711cccf9dbe0719087b7df8e59ff /.github | |
| parent | 9f814a8ce9135e8c5f83ab4455f3310822a9d7b5 (diff) | |
| download | ale-6e18c03d80c323e740f87103fc05955b5c61b54e.zip | |
Make help text clearer for line number highlights
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions