Code review comment for lp:~widelands-dev/widelands/casern_workersqueue

The documentation is not dead. Various classes implement this interface and refer to this as documentation.

We can delete this, but then we have to add the same documentation to all classes that implement the semantics. As long as they do not diverge, I think having them only documented once is preferable.

Or in other terms: the class exists for users, just not in the implementation- and that is an implementation detail.

> Am 08.11.2016 um 09:48 schrieb GunChleoc <email address hidden>:
>
> I think we should delete the documentation then - no need to have dead code documented, it is confusing.
> --
> https://code.launchpad.net/~widelands-dev/widelands/casern_workersqueue/+merge/309763
> You are subscribed to branch lp:widelands.