ec06c8961f
using git rm removes the file from the index AND the working directory, so trying to mv the file to the new name wouldn't actually work. If you use "git rm --cached" the file still exists to be worked with. |
||
---|---|---|
.. | ||
index.html |