log place.c @ 209:256f51fde64c default tip

age author description
2017-08-01 David A. Holland Abort on line numbering or column numbering overflow.
2016-09-04 David A. Holland Add a -debuglog option to send an execution trace to a file.
2015-06-12 David A. Holland Add the ability to output line numbers, sort of.
2015-06-12 David A. Holland Replace Joerg's place_setfile with something that at least sort of works.
2015-02-27 Joerg Sonnenberger Fully implement #line.
2015-02-26 Joerg Sonnenberger Make place_getname public, so that __FILE__ can use it.