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

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