Commit graph

2 commits

Author SHA1 Message Date
armin
821054bf37 Fixed retraction bug: inWork() only if not isSearched() 2018-04-29 16:26:45 +02:00
armin
7c283aa827 Formatted with Google Java Style 2018-04-28 16:10:13 +02:00