diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2018-02-27 14:10:41 +0900 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2018-03-03 23:58:47 +0100 |
commit | a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80 (patch) | |
tree | 693697f63ae7a0ccd6c4e0f89ac7b7b9d1c5cd57 /.gitignore | |
parent | c0103bc59d5b4a539f01bc9c98610ab3f11be114 (diff) | |
download | jgit-a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80.tar.gz jgit-a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80.zip |
Enable warning for resources not managed by try-with-resource
Change-Id: Iefe97de6bdb62af558f1b0e77c9205a9186f9b4c
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions