##// END OF EJS Templates
push: specify default-push and default as fallback paths...
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".
Yuya Nishihara -
r27562:cb0cfa9f default
Show More