Skip to content
This repository was archived by the owner on Nov 18, 2022. It is now read-only.

Change some options to match RLS #310

Merged
merged 1 commit into from
May 9, 2018
Merged

Change some options to match RLS #310

merged 1 commit into from
May 9, 2018

Conversation

nrc
Copy link
Member

@nrc nrc commented May 9, 2018

Accompanies rust-lang/rls#858

r? @Xanewok

@Xanewok
Copy link
Member

Xanewok commented May 9, 2018

Merging before rust-lang/rls#858, since changing all_targets to true now is a good idea and I think it might be even possible to later remove the build_* if they're ignored.

@Xanewok Xanewok merged commit 0806108 into master May 9, 2018
@Xanewok Xanewok deleted the workspace-mode branch May 7, 2020 08:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants