christos ed61af43d9 use hdestroy1 now that hdestroy does not free the key.		2014-07-20 20:20:16 +00:00
..
Makefile	…
tic.1	Merge riastradh-drm2 to HEAD.	2014-03-18 18:20:35 +00:00
tic.c	use hdestroy1 now that hdestroy does not free the key.	2014-07-20 20:20:16 +00:00