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 <f...@foramnagaidhlig.net>: > > 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. -- https://code.launchpad.net/~widelands-dev/widelands/casern_workersqueue/+merge/309763 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/casern_workersqueue into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp