diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-15 15:23:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-15 15:23:46 -0700 |
| commit | d6852155e5308e2bb347402bf9e069c7153c2319 (patch) | |
| tree | 3ef96705d73b339e0d934aa69cf8a6bd2cd0ed7f /highlights | |
| parent | 8d09d030312098cb314619b0b5d0fc08e78e5562 (diff) | |
| download | mu-d6852155e5308e2bb347402bf9e069c7153c2319.tar.gz | |
1068 - better line numbers
Line numbers were broken after inserting some lines from elsewhere. Now we add a #line directive not just before the lines but also after.
Diffstat (limited to 'highlights')
0 files changed, 0 insertions, 0 deletions