diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-08 17:24:44 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-08 17:24:44 +0200 |
| commit | 2277408aeecd1e14691e725ddd3628bde40c916f (patch) | |
| tree | 203104a1cdb334193691e9385543ed0d97a9f997 /vignettes/header.tex | |
| parent | 6c7a36c090a3ce121dda6ae315fe971c87044fe3 (diff) | |
Always run tests without rebuilding vignettes
Diffstat (limited to 'vignettes/header.tex')
0 files changed, 0 insertions, 0 deletions