diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-03 16:03:41 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-03 16:03:41 -0700 |
commit | 8f00b3470124e1d59107ee8c83a776cf86304186 (patch) | |
tree | 5aac6def8c0a7f7caabf3463ca84ed0677e3e369 /038scheduler.cc | |
parent | e84023dcc0b9be8e012f46edb71e24ddb1413338 (diff) | |
download | mu-8f00b3470124e1d59107ee8c83a776cf86304186.tar.gz |
2136 - distinguish <tangle-points> from +labels
Tangle points aren't unique within a recipe and cannot be jumped to.
Diffstat (limited to '038scheduler.cc')
0 files changed, 0 insertions, 0 deletions