
5 Jul
2016
5 Jul
'16
4:37 p.m.
Hi Cedric, You must be using an older version (1.9?) There will soon be a 1.11 release, and 1.10.2 from about a year ago has dumpHeader. Elaine
On Jul 5, 2016, at 1:10 PM, Cedric Govaerts <cgovaert@ulb.ac.be> wrote:
Thanks a lot Tom. The vop cover command works great.
The dumpHeader is not a recognized keyword though.
Cedric