diff options
author | https://www.google.com/accounts/o8/id?id=AItOawnDXvDvWTXmCqQ90ATTD4dV3Ii4YbnE8E0 <Sys@web> | 2014-03-18 03:55:40 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-03-18 03:55:40 +0000 |
commit | 50877e767527c26123c7c2d07cb5fe8569e87f19 (patch) | |
tree | 182f581ebac7ed644e4c5039651881af5bbf8fcf /doc | |
parent | 950e956b81be79f8f4e5b5ecc28e1184780fe4b3 (diff) |
This reverts commit 1187603844f837be008e0f1c78558292ca0db895
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bugs/map_error_after_forget/comment_6_4ee6e824cd9ad931442f986cf240aabf._comment | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/bugs/map_error_after_forget/comment_6_4ee6e824cd9ad931442f986cf240aabf._comment b/doc/bugs/map_error_after_forget/comment_6_4ee6e824cd9ad931442f986cf240aabf._comment deleted file mode 100644 index dd51aef62..000000000 --- a/doc/bugs/map_error_after_forget/comment_6_4ee6e824cd9ad931442f986cf240aabf._comment +++ /dev/null @@ -1,8 +0,0 @@ -[[!comment format=mdwn - username="https://www.google.com/accounts/o8/id?id=AItOawkBEmz5XoJVzN0u-0nOtpn7BBBDHsiLmxY" - nickname="Eric" - subject="comment 6" - date="2014-03-17T20:12:31Z" - content=""" -oh, so basically what i must have done was to delete the remote via git but it still existed in git annex? -"""]] |