path: root/doc/bugs/no_git-annex_shell_on_Windows/comment_3_7f48959c6242c5cc52e9d0a79fd3f85d._comment

[[!comment format=mdwn
 username="http://joeyh.name/"
 ip="108.236.230.124"
 subject="comment 3"
 date="2014-05-16T20:36:02Z"
 content="""
I mean that copying git-annex.exe to git-annex-shell.exe doubles the disk space needed to install git-annex.
"""]]