Homegib gitb

EXPOSE ports table projection with checkboxes

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

EXPOSE ports table projection with checkboxes

Summary:
EXPOSE ports table projection with checkboxes

InstructionInspector editor component with draft layout for inspector

Add getFile method for Instruction to get its containing File

Migrate to MPS 2018.3

Test Plan: Creation of EXPOSE instance and completion of ports assignment

Reviewers: grgarside

Reviewed By: grgarside

Tags: #alembicue

Differential Revision: https://phabricator.georgegarside.com/D31

Details

Provenance
grgarsideAuthored on Dec 22 2018, 2:57 PM
grgarsidePushed on Dec 22 2018, 3:40 PM
Reviewer
grgarside
Differential Revision
Restricted Differential Revision
Parents
rFYP7bbd11c1279f: Migrate to MPS 2018.3
rFYP63b772531d36: Trailing empty line check
Branches
Unknown
Tags
Unknown