comparison Makefile @ 157:95fbb216e23f

Make place_getname public, so that __FILE__ can use it.
author Joerg Sonnenberger <joerg@bec.de>
date Fri, 27 Feb 2015 00:21:31 +0100
parents 36dd4701e0ba
children
comparison
equal deleted inserted replaced
151:ccfcf1da156b 157:95fbb216e23f