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	…