]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b686c84) | patch
[infer] Mark ManifestParse.getFilteredProjects non-null 87/89387/2
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 23 Jan 2017 00:06:30 +0000 (01:06 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 23 Jan 2017 18:55:20 +0000 (19:55 +0100)
commitd3c4c0622f1f007e481112613acd9935d999b358
tree73a7474b40644979b44eedb5d584473df10edf63tree | snapshot
parentb686c8468c66fb7d2f2c06996085b7d8540a8adccommit | diff
[infer] Mark ManifestParse.getFilteredProjects non-null

Change-Id: I05653df7a0337443d2c8e53f47f4e95ec9ca1a9c
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit