armin 821054bf37 Fixed retraction bug: inWork() only if not isSearched()		2018-04-29 16:26:45 +02:00
..
src	Fixed retraction bug: inWork() only if not isSearched()	2018-04-29 16:26:45 +02:00
.gitignore	Success/Failure for work packages	2018-04-25 23:37:19 +02:00