Merge branch 'master' of ssh://tiger.med-info.com:8822/srv/git/snark14kmr
[snark14.git] / examples / b5 /
drwxr-xr-x   ..
-rw-r--r-- 1763 b5.in
-rw-r--r-- 19756 b5r.out
-rwxr-xr-x 15 run