diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
commit | 2647aaf1b879365c11700eed099e661febd08387 (patch) | |
tree | 6acad8a8e654d805a95b6fc4955daa65e678f155 /vignettes/references.bib | |
parent | ccc4759131cf6bcb3669e1b6042687fc5902e72b (diff) |
Do not watch vignettes for builds without rebuilding them
This avoids the situation that a new function is needed in a vignette
but the first thing that the build tries to do is building it.
Diffstat (limited to 'vignettes/references.bib')
0 files changed, 0 insertions, 0 deletions