log

age author description
Mon, 13 Jun 2016 17:02:06 +0100 Jun Wu maps: use util.fileproperty for RevMap.lastpulled
Mon, 13 Jun 2016 16:59:51 +0100 Jun Wu util: add a fileproperty helper method