diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-12-26 01:17:01 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-12-26 01:26:16 -0800 |
commit | e5c11a5137d538b7713dd8708ca767c208824c06 (patch) | |
tree | 82976fd80e5d8048840701c351827730b29f89f6 /043space.cc | |
parent | 63e1c465e46502bd7c391e31db73e7e5ae19adfd (diff) | |
download | mu-e5c11a5137d538b7713dd8708ca767c208824c06.tar.gz |
3709 - line numbers in html
Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number.
Diffstat (limited to '043space.cc')
0 files changed, 0 insertions, 0 deletions