Marius Strom 37ff3f9f87 Updating to change from requestedTheme to theme (#5556) ...

<!-- Enter a brief description/summary of your PR here. What does it fix/what does it change/how was it tested (even manually, if necessary)? -->
## Summary of the Pull Request
Simple fix to update the example documentation with the recent changes to 0.11.

2020-04-27 08:57:46 -05:00

..

index.md

rename profiles.json to settings.json, clean up the defaults (#5199)

2020-04-01 19:09:42 +00:00

ThirdPartyToolProfiles.md

rename profiles.json to settings.json, clean up the defaults (#5199)

2020-04-01 19:09:42 +00:00

UsingCommandlineArguments.md

doc: Add note about using ; as a separator in PowerShell (#5361)

2020-04-21 14:55:02 -07:00

UsingJsonSettings.md

Updating to change from requestedTheme to theme (#5556)

2020-04-27 08:57:46 -05:00