comparison images/hglogo.png @ 363:f89e50d748ed feature_93

Enable Push button whenever the repo is non-empty, even when there is no remote location -- ask for remote location when it is pressed. Also change "Change Remote..." to "Set Remote..." to be consistent with this new usage
author Chris Cannam
date Thu, 17 Mar 2011 17:48:18 +0000
parents 6d5a5571caec
children
comparison
equal deleted inserted replaced
362:73fb5ef55744 363:f89e50d748ed