git-annex/doc/walkthrough/renaming_files
2015-10-15 08:54:08 +00:00
..
comment_1_c05f70079c265d23e882f92aaa4d28f8._comment Added a comment: renaming oesn't work as expected when changing the extension 2015-10-15 08:54:08 +00:00