aboutsummaryrefslogtreecommitdiff
path: root/vignettes/mkin.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-06-28 00:20:07 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-06-28 00:20:07 +0200
commit2647aaf1b879365c11700eed099e661febd08387 (patch)
tree6acad8a8e654d805a95b6fc4955daa65e678f155 /vignettes/mkin.html
parentccc4759131cf6bcb3669e1b6042687fc5902e72b (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/mkin.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint