diff .hgeol @ 281:b58fb1343377

remove need for end_thread()
author Nina Engelhardt <nengel@mailbox.tu-berlin.de>
date Fri, 17 May 2013 17:49:35 +0200
parents
children
line diff