diff options
author | Rob Lourens <roblourens@gmail.com> | 2017-07-29 03:54:52 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-29 03:54:52 +0300 |
commit | 7c682be6410f11b67e1ed5cbf6cf2e3165054608 (patch) | |
tree | 0059baa6546bae817f464aa7d8047bc3f0bb586a /i18n/ptb/src/vs/workbench | |
parent | ca281a409c1b72c26340186e7e22cedf52ca33bd (diff) | |
parent | d622b19bf2f3bc9317a598005d29696b0d4cde08 (diff) |
Merge pull request #31691 from Microsoft/amqi/terminal-quickopen
Add rename action to terminal quickpick and keybindings
Diffstat (limited to 'i18n/ptb/src/vs/workbench')
0 files changed, 0 insertions, 0 deletions