Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
maven-helper: need to special-case get_mtime also on Windows
Chances are that developers try to use the shell scripts with the Git Bash, but the Git for Windows installer does not install the stat(1) utility. So fall back to using GNU date(1)'s -r option. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
- Loading branch information