git.git update: Customizable push URL and ctags script URL
commit4f6693226862a9baed6ebf4c4bcd3c628eec4269
authorPetr Baudis <petr.baudis@novartis.com>
Fri, 25 Jul 2008 20:59:21 +0000 (25 22:59 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Fri, 25 Jul 2008 20:59:21 +0000 (25 22:59 +0200)
tree7e3852809c009e833b0c68bca3ca80896f1a82fa
parent282a75eb50839b8595772bfc0fa530ac6f22c109
git.git update: Customizable push URL and ctags script URL
git.git