diff COPYING @ 27562:cb0cfa9fd340

push: specify default-push and default as fallback paths The next patch will remove the "default-push" hack from ui.paths so that ui.paths["default"].pushurl can be different from "default-push".
author Yuya Nishihara <yuya@tcha.org>
date Sat, 26 Dec 2015 16:12:28 +0900
parents 8c8b55733cbd
children
line wrap: on
line diff