New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fallback to findbugs.home if spotbugs.home not set #33

Merged

mebigfatguy merged 1 commit into master from spotbugs-home

Nov 22, 2016

Member

jsotuyod commented Nov 22, 2016

As stated in #32 (comment) by @KengoTODA, we privilege spotbugs.home, but fallback to findbugs.home if not set.


          Fallback to findbugs.home if spotbugs.home not set

54b73f9

jsotuyod added this to the SpotBugs 3.1.0 milestone

jsotuyod assigned mebigfatguy

mebigfatguy approved these changes

View reviewed changes

mebigfatguy merged commit 399677a into master

jsotuyod deleted the spotbugs-home branch

November 22, 2016 14:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet