log place.c @ 184:d359d9b86327

age author description
Fri, 12 Jun 2015 02:55:02 -0400 David A. Holland Replace Joerg's place_setfile with something that at least sort of works.
Fri, 27 Feb 2015 02:06:49 +0100 Joerg Sonnenberger Fully implement #line.
Fri, 27 Feb 2015 00:21:31 +0100 Joerg Sonnenberger Make place_getname public, so that __FILE__ can use it.