terminal/doc/user-docs
2020-05-14 16:48:03 -07:00
..
index.md doc: add a tip about launching WT with a Win+Number shortcut (#5909) 2020-05-14 16:48:03 -07: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: fix typo in UsingCommandlineArguments.md (#5714) 2020-05-02 23:33:10 -07:00
UsingJsonSettings.md Add a note that the user needs to hide dynamic profiles (#5684) 2020-05-04 15:04:09 -05:00