diff options
| author |  zardoz <zardoz@web> | 2014-05-15 13:03:48 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-05-15 13:03:48 +0000 |
| commit | a03e144f920873b0a24eca06b1c46a25fbcaf749 (patch) | |
| tree | 22b0baaa420d130a15b44fdc11af8797dfd05b90 /doc | |
| parent | 22f13c5ddcb1d9d7725489a4de4c7bb848774f36 (diff) | |
Added a comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/Enhancement:_git_annex_whereis_KEY/comment_2_4189d9e91208a59381100613e254e731._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/todo/Enhancement:_git_annex_whereis_KEY/comment_2_4189d9e91208a59381100613e254e731._comment b/doc/todo/Enhancement:_git_annex_whereis_KEY/comment_2_4189d9e91208a59381100613e254e731._comment new file mode 100644 index 000000000..e5645884e --- /dev/null +++ b/doc/todo/Enhancement:_git_annex_whereis_KEY/comment_2_4189d9e91208a59381100613e254e731._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="zardoz" + ip="134.147.14.84" + subject="comment 2" + date="2014-05-15T13:03:47Z" + content=""" +Okay, I suppose one way of doing a search that works like that would do a «git log --stat -S'KEY' $commit», starting with HEAD and then walking the parents. +"""]] |