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.

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

Bump source and target level to java 7 #126

Closed

davido wants to merge 1 commit into gitblit-org:master from davido:java_7

Contributor

davido commented Dec 2, 2013

Switch to Java 7 to use it syntax and features.

Collaborator

gitblit commented Dec 2, 2013

I'm not quite ready to leave Java 6 behind. Perhaps once Java 8 has been out for a year or so.

gitblit closed this


          Bump source and target level to java 7

27806ee

gitblit added a commit that referenced this pull request


          Merged #126 "Update to JGit 3.4.1"

7480c39

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