Closed psimonyi closed 11 years ago
This seems like a bug in git, even though it follows the literal interpretation of the man pages. But it means reset_dev.sh leaves uncommitted changes in an initially clean repository.
Closed by #136 (7929d3a)
This seems like a bug in git, even though it follows the literal interpretation of the man pages. But it means reset_dev.sh leaves uncommitted changes in an initially clean repository.