diff loop.h @ 195:d83f59e6e2db

eliminate spurious head
author Nina Engelhardt <nengel@mailbox.tu-berlin.de>
date Thu, 09 Feb 2012 17:54:54 +0100
parents
children
line diff