diff options
author | zardoz <zardoz@web> | 2014-05-17 14:18:32 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-05-17 14:18:32 +0000 |
commit | c9536f2497367dd8b5a9f23e6b83938c004efc43 (patch) | |
tree | b3bdc177c1ea78e16fb6a95078c1b65cb55d9947 | |
parent | 7499bc0759f74745be7614dc93edc6ee9af7f357 (diff) |
Added a comment
-rw-r--r-- | doc/todo/A_Way_To_Extract_Previous_Versions_of_a_File_From_a_Direct_Repo/comment_2_45c22f596a18d5dc2331cfeef8c767fa._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/todo/A_Way_To_Extract_Previous_Versions_of_a_File_From_a_Direct_Repo/comment_2_45c22f596a18d5dc2331cfeef8c767fa._comment b/doc/todo/A_Way_To_Extract_Previous_Versions_of_a_File_From_a_Direct_Repo/comment_2_45c22f596a18d5dc2331cfeef8c767fa._comment new file mode 100644 index 000000000..200210a02 --- /dev/null +++ b/doc/todo/A_Way_To_Extract_Previous_Versions_of_a_File_From_a_Direct_Repo/comment_2_45c22f596a18d5dc2331cfeef8c767fa._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="zardoz" + ip="92.227.51.179" + subject="comment 2" + date="2014-05-17T14:18:31Z" + content=""" +It occured to me that one could do something like that by «git show +earlier-commit:file > filename». A problem with this is that a +subsequent «get» will get the old content, but won’t put it in place +until invoking «fsck». + +"""]] |