diff options
| author |  Lukacs Berki <lberki@google.com> | 2015-11-26 09:21:59 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2015-11-26 13:19:19 +0000 |
| commit | c89366f6d7fe092af74f25949f00ed409a86caab (patch) | |
| tree | f9073cb6df68bb07b49b9dd6ab9879ff0cf09582 /site | |
| parent | 9b814477350d9feca331126b40816ba4c17b4a10 (diff) | |
Fix fingerprinting of Maven settings file.
Check that the file exists before we try to get its digest and add a flag indicating its existence to the fingerprint.
--
MOS_MIGRATED_REVID=108771918
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions