Thomas Guillem 7636c12c43 bin/dsm: fix double destroy 10 tahun lalu
..
discover.c 63d9831156 update license headers: LGPLv2.1 + commercial 10 tahun lalu
dsm.c 7636c12c43 bin/dsm: fix double destroy 10 tahun lalu
inverse.c 63d9831156 update license headers: LGPLv2.1 + commercial 10 tahun lalu
lookup.c 63d9831156 update license headers: LGPLv2.1 + commercial 10 tahun lalu