Project

General

Profile

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

    
4
to_extract=occurrence.txt
(4-4/12)