maelle Merge pull request #113 from dpprdan/fix/precompile_master
38a811b Oct 8, 2020
Merge pull request #113 from dpprdan/fix/precompile_master
precompile vignettes for jenkins, closes #112
38a811b