]> git.vanrenterghem.biz Git - Dotty.git/commitdiff
Simplify R startup options.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 16 Sep 2019 11:21:31 +0000 (19:21 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 16 Sep 2019 11:21:31 +0000 (19:21 +0800)

No differences found