tree 7d908d68391a592e9843d49443874f0461bc9f51
parent b47fdcdef8e88452914636ce23ee6792f259b5dc
author nsz <nsz@port70.net> 1336865660 +0200
committer nsz <nsz@port70.net> 1336865660 +0200

search: add tdestroy (gnu extension)