clean up the logic for deciding the output filename when using stdin
[htsworkflow.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 47443 gaworkflow.xmi