Skip to content

Pull requests: jrtom/jung

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Clean up pom.xml plugins section
#211 by jbduncan was merged Jun 11, 2018 Loading…
Fix TreeCollapseDemo
#204 by jbduncan was merged Jun 13, 2018 Loading…
Various code cleanups
#195 by jbduncan was merged May 28, 2018 Loading…
fix lens effects
#160 by tomnelson was merged Nov 29, 2017 Loading…
Polishing
#144 by jbduncan was merged Nov 26, 2017 Loading…
Partial GJF format
#99 by jbduncan was merged Aug 4, 2017 Loading…
Normalise the whitespaces in the submodule pom.xml files
#96 by jbduncan was merged Aug 6, 2017 Loading…
Fix typo: "extendible" -> "extensible"
#95 by jbduncan was merged Aug 6, 2017 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.