Project

General

Profile

1
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/runscripts/extract.run "$@"
3

    
4
# export_() runtime: 30 s ("0m27.138s") @r14089
(14-14/20)