Unknwon 9adfe453d5 #2569 delete repo local copy when transfer
Remote repository path is renamed but does not delete
outdated local copy which still has old repository path
as remote.
2016-02-14 19:42:38 -05:00
..
2015-12-15 19:42:20 -05:00
2015-11-15 17:07:44 -05:00
2015-11-15 17:07:44 -05:00
2015-12-30 21:29:30 -05:00
2015-11-15 17:07:44 -05:00