search: add tdestroy (gnu extension)
authornsz <nsz@port70.net>
Sat, 12 May 2012 23:34:20 +0000 (01:34 +0200)
committernsz <nsz@port70.net>
Sat, 12 May 2012 23:34:20 +0000 (01:34 +0200)
commitd197d6421c317145e2aff89dd41de9d03eeaa00b
tree7d908d68391a592e9843d49443874f0461bc9f51
parentb47fdcdef8e88452914636ce23ee6792f259b5dc
search: add tdestroy (gnu extension)
include/search.h
src/search/tdestroy.c [new file with mode: 0644]