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-08 00:57:46 +01:00
2016-02-14 23:26:47 +00:00
2015-12-08 00:57:46 +01:00
2016-01-31 17:58:51 -02:00
2016-02-12 10:10:02 -05:00