Simplify R startup options.
[Dotty.git] / R / .Rprofile
2019-09-16 Frederik VanrenterghemSimplify R startup options.
2019-09-12 Frederik VanrenterghemDefine default CRAN repository.