From bcd5be7b5a8c3b161d64c467a55523b4c6f33fb8 Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawlRThEwuPnr8_bcuuCTQ0rQd3w6AfeMiLY" Date: Sat, 23 Feb 2013 21:22:20 +0000 Subject: [PATCH] removed --- .../comment_6_42c508b848350104d7dc3f29a388eb32._comment | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 doc/forum/Detached_git_work_tree__63__/comment_6_42c508b848350104d7dc3f29a388eb32._comment diff --git a/doc/forum/Detached_git_work_tree__63__/comment_6_42c508b848350104d7dc3f29a388eb32._comment b/doc/forum/Detached_git_work_tree__63__/comment_6_42c508b848350104d7dc3f29a388eb32._comment deleted file mode 100644 index 50e23b29f5..0000000000 --- a/doc/forum/Detached_git_work_tree__63__/comment_6_42c508b848350104d7dc3f29a388eb32._comment +++ /dev/null @@ -1,8 +0,0 @@ -[[!comment format=mdwn - username="https://www.google.com/accounts/o8/id?id=AItOawlRThEwuPnr8_bcuuCTQ0rQd3w6AfeMiLY" - nickname="Alex" - subject="comment 6" - date="2013-02-23T21:15:52Z" - content=""" -Cool, thanks! The caveat shouldn't be much of a problem for my use case - with vcsh, the workdir is always $HOME, and I'm using the recommended mr-based workflow so the gitdir will always be ~/.vcsh/repo.d/$name.git in each clone. -"""]]