christos 9a21bc9318 fix the tools build. reported by Utkarsh Anand		2017-05-05 12:21:28 +00:00
..
Makefile	…
tic.1	Fix spelling of "discovered"	2017-02-22 13:43:15 +00:00
tic.c	fix the tools build. reported by Utkarsh Anand	2017-05-05 12:21:28 +00:00