remove obsolete TODO
[cgds.git] / src / PriorityQueue.c
2014-11-23 Benjamin Auderinitial commit