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.

Sign up for GitHub

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

Jump to bottom

Make plugins/editors show one entry for each plugin with a drop down for version #13942

Merged
merged 3 commits into from
Aug 16, 2019
Merged

Make plugins/editors show one entry for each plugin with a drop down for version #13942

merged 3 commits into from
Aug 16, 2019

Commits on Jul 22, 2019

  1. Plugins and editors are now unified and have a dropdown for multiple … 

    …versions

Signed-off-by: Josh Pinkney <joshpinkney@gmail.com>
    @JPinkney
    JPinkney committed Jul 22, 2019
    Configuration menu
    Copy the full SHA
    d89cf6f View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2019

  1. fix updating plugins and editors list on workspace page 

    Signed-off-by: Oleksii Kurinnyi <okurinny@redhat.com>
    @akurinnoy
    akurinnoy committed Aug 9, 2019
    Configuration menu
    Copy the full SHA
    250a579 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into unified-plugins-edi… 

    …tors
    @akurinnoy
    akurinnoy committed Aug 9, 2019
    Configuration menu
    Copy the full SHA
    ed9a22d View commit details
    Browse the repository at this point in the history