Project

General

Profile

1 14933 aaronmk
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/runscripts/extract.run "$@"
3
4
: "${n=5000}"