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