christos ed61af43d9 use hdestroy1 now that hdestroy does not free the key.		2014-07-20 20:20:16 +00:00
..
Makefile
tic.1
tic.c