nitg-s: removed FTColoring since it was replaced by resolution table
authorAlexandre Terrasa <alexandre@moz-code.org>
Thu, 7 Feb 2013 22:22:44 +0000 (17:22 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Mon, 4 Mar 2013 18:20:01 +0000 (13:20 -0500)
commit986ede89f6f54a5dd4b0a99548019137a28ae194
treea9168ed66115656fe408855b62986c322a823ed1
parent1d72252cbea56bece389e0902c8260dffc88569a
nitg-s: removed FTColoring since it was replaced by resolution table

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/coloring.nit