43c1db28c7
15 times faster than the existing sh script. Submitted by: Wolfram Schneider <wosch@cs.tu-berlin.de>
3.7 KiB
3.7 KiB