terminal/doc/user-docs
Mike Griese d2dcdef620
Create a doc for adding common third-party tools (#3353)
* Create a doc for adding common third-party tools

Maybe it would be helpful to have a comprehensive guide on adding some common third-party tools as profiles.

* add some additional tools from PR
2019-11-06 15:14:43 -06:00
..
index.md Added <kbd> notations for keyboard keys. (#2975) 2019-10-31 09:53:38 -07:00
ThirdPartyToolProfiles.md Create a doc for adding common third-party tools (#3353) 2019-11-06 15:14:43 -06:00
UsingJsonSettings.md Add a note on using WSL paths to user docs (#3405) 2019-11-06 11:19:43 -08:00