Skip to content

Gave panes simpler names#20

Merged
philippjfr merged 1 commit intomasterfrom simplify_pane_namesSep 4, 2018

Commits

Commits on Sep 4, 2018