| commit | 3b5e4ae8b127478d5c7097a6597f4e640633759c | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Fri May 08 13:00:30 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Fri May 08 13:00:30 2020 +0100 |
| tree | 30c1b05b8e5d6486f101cee0cf15509bc22abc0b | |
| parent | cc5de228db4231ad8c54ce32f9b23105d0418c19 [diff] |
pom.xml: JGit timestamp provider should only warn when working tree is dirty
