Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/json editor #67

Merged
merged 7 commits into from
Jun 17, 2021
Merged

Feature/json editor #67

merged 7 commits into from
Jun 17, 2021

Commits on May 19, 2021

  1. Add raw json editor

    j-or committed May 19, 2021
    Configuration menu
    Copy the full SHA
    552eef7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e76c192 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    39f83d5 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2021

  1. Configuration menu
    Copy the full SHA
    fe35aad View commit details
    Browse the repository at this point in the history
  2. Display JSON errors to user

    j-or committed May 20, 2021
    Configuration menu
    Copy the full SHA
    ff9a0d1 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2021

  1. Configuration menu
    Copy the full SHA
    f67bb37 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4f93da6 View commit details
    Browse the repository at this point in the history