Skip to content

History / Editor Settings

Revisions

  • update wiki

    @vsch vsch committed Jan 27, 2019
  • update settings

    @vsch vsch committed Jan 20, 2019
  • update wiki pages, add new features, fix outdated instructions

    @vsch vsch committed Dec 23, 2018
  • update editor wiki

    @vsch vsch committed Dec 16, 2018
  • update wiki for settings layout changes

    @vsch vsch committed Dec 15, 2018