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