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 | 48014f1c32317a838a9724e6ee1354236ff6ead2 (patch) | |
| tree | 614e4f65b41fa2535a975f06ca6f59c2bd7438e5 /pdf/.gitignore | |
| parent | Add Tag class to hi (diff) | |
| download | src-48014f1c32317a838a9724e6ee1354236ff6ead2.tar.gz src-48014f1c32317a838a9724e6ee1354236ff6ead2.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 'pdf/.gitignore')
0 files changed, 0 insertions, 0 deletions