aboutsummaryrefslogtreecommitdiff
path: root/docs/user/generated_config.adoc
Commit message (Expand)AuthorAgeFilesLines
* Update docsLukas Wirth2021-05-101-1/+1
* internal: ensure that client and server-side configs are not mixed upAleksey Kladov2021-04-281-5/+0
* Add config optionsJorge Mederos Alvarado2021-04-271-0/+5
* Code review feedback.James Leitch2021-04-211-2/+2
* Diagnostic Remap Path Prefixes added.James Leitch2021-04-211-0/+6
* feat: avoid checking the whole project during initial loadingAleksey Kladov2021-04-121-0/+6
* Bump the default hint lengthKirill Bulatov2021-03-231-1/+1
* Limit the hints size by defaultKirill Bulatov2021-03-231-2/+2
* Enable proc-macros by defaultAleksey Kladov2021-03-151-1/+1
* Make code less surprisingAleksey Kladov2021-03-091-57/+265
* Add more documentation for rustc_privateJoshua Nelson2021-03-081-1/+1
* Merge #7891bors[bot]2021-03-081-1/+1
|\
| * Document rustc_private in metadataDaniel McNab2021-03-081-1/+1
| * Revert "Support disabling rustc build scripts"Daniel McNab2021-03-081-2/+0
| * Support disabling rustc build scriptsDaniel McNab2021-03-081-0/+2
* | Make code completion "just work" in more casesAleksey Kladov2021-03-081-1/+1
* | Make group imports configurableasv2021-03-071-0/+2
|/
* Migrate to user-centric config name for `cargo check` stuffAleksey Kladov2021-03-041-3/+3
* Allow automatically detect the rustc-src directory (fixes #3517).Benjamin Bouvier2021-02-131-1/+1
* Add config option to ignore directoriesAleksey Kladov2021-01-261-0/+2
* Remove the need to manually sync config in package.jsonAleksey Kladov2021-01-261-4/+4
* Add References code lens.vsrs2021-01-231-0/+2
* Use american spelling for configAleksey Kladov2021-01-071-1/+1
* More maintainable configAleksey Kladov2021-01-061-0/+2
* Allow `#anchor` linking of config optionsAleksey Kladov2021-01-051-53/+53
* Clean up descriptions for settingsRüdiger Herrmann2020-12-221-13/+13
* Include config into the manualAleksey Kladov2020-12-091-0/+106
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 22:06:28 +0000