Moved the font specification to the dot command line arguments.
authorFrancois Fleuret <francois@fleuret.org>
Thu, 31 Aug 2017 13:03:35 +0000 (15:03 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Thu, 31 Aug 2017 13:03:35 +0000 (15:03 +0200)

No differences found