Closed saibotsivad closed 8 years ago
After some talks with @TehShrike I think it's more clear to call the line number a "line identifier". I like this a lot, as it doesn't carry the baggage of the word "number", when it's actually a string.
Fixed in #22
After some talks with @TehShrike I think it's more clear to call the line number a "line identifier". I like this a lot, as it doesn't carry the baggage of the word "number", when it's actually a string.