Move RStudio user settings from .rstudio/monitored/user-settings/user-settings
to .config/rstudio/rstudio-prefs.json
#534
Merged
eitsupi merged 3 commits intorocker-org:masterfrom eitsupi:use-new-config-fileSep 7, 2022
+15-5