log

age author description
Thu, 17 Mar 2011 17:48:18 +0000 Chris Cannam Enable Push button whenever the repo is non-empty, even when there is no remote location -- ask for remote location when it is pressed. feature_93