diff options
| author | jao <jao@gnu.org> | 2022-06-09 23:48:52 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-06-09 23:48:52 +0100 |
| commit | 01e68cd5747c3eee3cd4c2c30e1f2f9f4660fc31 (patch) | |
| tree | 1aac8139c77cdb2220b885264045a4b4761bcc8e /lib | |
| parent | 031a75219f1d6d63e52995a6f1bb1d8d34e5780f (diff) | |
| download | elibs-01e68cd5747c3eee3cd4c2c30e1f2f9f4660fc31.tar.gz elibs-01e68cd5747c3eee3cd4c2c30e1f2f9f4660fc31.tar.bz2 | |
diff-hl margin symbols nicely working in terminals
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions