Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Add ports plug-in #51

Merged
merged 2 commits into from
Feb 17, 2019
Merged

Add ports plug-in #51

merged 2 commits into from
Feb 17, 2019

Commits on Feb 16, 2019

  1. Add ports plug-in 

    Change-Id: Iaa91b1d2c8c31e8ebd0047c9bf53e8baa76c888e
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Feb 16, 2019
    Configuration menu
    Copy the full SHA
    fa90b4e View commit details
    Browse the repository at this point in the history

  2. fixup! Add ports plug-in 

    Change-Id: Ic6fc89176353c951320502e5267645faf4e4284f
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Feb 16, 2019
    Configuration menu
    Copy the full SHA
    fafe221 View commit details
    Browse the repository at this point in the history