------- Comment #1 from pinskia at gcc dot gnu dot org  2008-05-06 15:28 -------
I don't think we should do this.  There is already a secondary program that
does the coloring too.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36150

Reply via email to