log

age author description
Thu, 14 Jan 2016 12:03:06 +0000 Chris Cannam No, a bare repo is better feature_1136
Thu, 14 Jan 2016 10:54:56 +0000 Chris Cannam Fix missed text change feature_1136
Thu, 14 Jan 2016 10:27:25 +0000 Chris Cannam Separate out git repo dir and work dir (so as to serve repo dir only) feature_1136