diff options
author | June McEnroe <june@causal.agency> | 2019-02-18 17:07:53 -0500 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2019-02-18 17:07:53 -0500 |
commit | f438b384749b22a28582e2c17b54ff1bf5ca9fb9 (patch) | |
tree | 0c465901a61403583f8c2df0705440193010781e /port/cgram/Makefile | |
parent | Add Tag class to hi (diff) | |
download | src-f438b384749b22a28582e2c17b54ff1bf5ca9fb9.tar.gz src-f438b384749b22a28582e2c17b54ff1bf5ca9fb9.zip |
Remove hi line numbering
Tags are much better for referring to specific parts of a file and line numbering is better done by a post-processing tool such as cat -n or producing a two-column HTML <table>.
Diffstat (limited to 'port/cgram/Makefile')
0 files changed, 0 insertions, 0 deletions