Oliver Drotbohm 38b98af786 #819 - Polishing. ...

Original pull request: #820.

2019-02-15 10:53:20 +01:00

..

Hop.java

#788 - Remove redundant generics.

2019-01-18 12:03:45 -06:00

package-info.java

#310 - Added missing package-info.java files.

2015-02-27 15:03:27 +01:00

Rels.java

#788 - Remove redundant constructs, pre-Java 8 cruft, and superfluous exceptions.

2019-01-18 11:38:19 -06:00

Traverson.java

#819 - Polishing.

2019-02-15 10:53:20 +01:00