"Fix" describe_location
commit3603d54710d1d44727ef5a66401a19ea62d19df0
authormalc <moosotc@gmail.com>
Sat, 9 Sep 2017 12:50:11 +0000 (9 15:50 +0300)
committermalc <moosotc@gmail.com>
Sat, 9 Sep 2017 12:50:11 +0000 (9 15:50 +0300)
treec3484d9e6820c10a62bc954a69af96b1298504f2
parent0e8b08ac683ddd7c1da54c6ca74220cfd3c8378a
"Fix" describe_location

Address #57.

Still far from ideal, in split columns mode duplicate page numbers
will be reported plus there's no neat split into ranges, maybe some
other day.
main.ml