diff options
| author | June McEnroe <june@causal.agency> | 2019-02-17 21:30:00 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-02-17 21:30:00 -0500 |
| commit | 5666794d51b927cca3dec538abacd67f5f1fcf7a (patch) | |
| tree | 421d19ead13d709d4d9cf709c7f28cb31c304437 /bin/1sh/libedit/.gitignore | |
| parent | Add hi -f html -o anchor for line number links (diff) | |
| download | src-5666794d51b927cca3dec538abacd67f5f1fcf7a.tar.gz src-5666794d51b927cca3dec538abacd67f5f1fcf7a.zip | |
Generate HTML with hi -n -f html -o anchor
Running hi twice to insert stuff between the head and the content is a bit of a hack but oh well.
Diffstat (limited to 'bin/1sh/libedit/.gitignore')
0 files changed, 0 insertions, 0 deletions