terminal/doc/user-docs
2020-05-18 09:29:30 -07:00
..
index.md doc: fix a typo in user-docs/index.md (#5961) 2020-05-18 09:29:30 -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 doc: add a link to default keybindings (#4614) 2020-05-14 16:53:34 -07:00