getopt fix: will now fail when reading more than $file.size from $file.

[pub/astra/parallel.git] / merge / todos.txt

TODO: multiple runs, min()-benchmark -> angabe
TODO: mehrere eingabewerte -> angabe