]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd24894) | patch
NonNull: Switch to TYPE_USE 79/115579/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 18 Jan 2018 04:20:49 +0000 (13:20 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 18 Jan 2018 04:23:34 +0000 (13:23 +0900)
commit55eba8d0f55464ca84d676828f67a6fe14b2454d
tree24f4b9ba551149ae20ab14f2342bc44ae3682a3dtree | snapshot
parentcd2489423d060e55218dd97a9908f8133864737ccommit | diff
NonNull: Switch to TYPE_USE

Since JGit now requires Java 8, we can switch to TYPE_USE instead
of explicitly specifying the target type.

Change-Id: I373d47c3d92507459685789df1fad0933d5625ff
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
org.eclipse.jgit/src/org/eclipse/jgit/annotations/NonNull.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit