yihui/tikzDevice — pull request #80 by krlmlr (2014-12-11 10:18:11+00:00)
Title: Make output of timestamp optional

Closes #73.