SPIN/ID2T-toolkit: The official ID2T repository is now in GitHub and can be found in https://github.com/tklab-tud/ID2T @ 80f16d3b6cbca61592fad8a26eff706c3012c0fb

Stefan Schmidt 27fc9d034a Made the statistics code interruptible by CTRL+C		6 jaren geleden
..
src	27fc9d034a Made the statistics code interruptible by CTRL+C	6 jaren geleden