Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Complete token merge, remove unused files #7037

Merged
merged 3 commits into from
Nov 13, 2017
Merged

Commits on Nov 13, 2017

  1. Configuration menu
    Copy the full SHA
    76f72e9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    38f3ffe View commit details
    Browse the repository at this point in the history
  3. Update setting variable

    jacogr committed Nov 13, 2017
    Configuration menu
    Copy the full SHA
    fb6d2c0 View commit details
    Browse the repository at this point in the history