log place.h @ 164:f14f5352956c

age author description
Fri, 12 Jun 2015 01:00:38 -0400 David A. Holland Merge upstream into Joerg's changes.
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.