Skip to content

Use a single profile set per workspace - #3249

Merged
bors merged 1 commit into
rust-lang:masterfrom
matklad:workspace-profiles
Nov 4, 2016
Merged

bors merged 1 commit into
rust-lang:masterfrom
matklad:workspace-profiles

Commits

Commits on Nov 3, 2016