yihui/tikzDevice — pull request #91 by krlmlr (2014-12-23 20:56:12+00:00)
Title: Correct implementation of metrics dictionary

Fixes #90.