Skip to content

Stop watching and building Rmd if server is stopped#488

Merged
yihui merged 2 commits intomasterfrom unwatch-when-stoppedOct 8, 2020

Commits

Commits on Oct 8, 2020