v0.11

  - 'git rm' before 'git add'
    This seems to help on MSWin32, where I may have a newer version of git than on Debian Linux