Checkout
rhuijben
committed
on 07 May 15
Remove TODO file, containing just a single task that is long done.