diff options
| author | Andrey Tyrin <andrei.tyrin@jetbrains.com> | 2022-08-25 00:44:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-25 01:44:21 +0300 |
| commit | 56beaa318c603c0ada0cf97454f06fbb44175917 (patch) | |
| tree | 07fe058a94346cbb5a4404659f31f4b02489f1bb /plugins/base/.gitignore | |
| parent | ce1998247e0478a9d22860026efb9694e2916396 (diff) | |
| download | dokka-56beaa318c603c0ada0cf97454f06fbb44175917.tar.gz dokka-56beaa318c603c0ada0cf97454f06fbb44175917.tar.bz2 dokka-56beaa318c603c0ada0cf97454f06fbb44175917.zip | |
Add hotkey for opening search dialog (#2633)
Diffstat (limited to 'plugins/base/.gitignore')
0 files changed, 0 insertions, 0 deletions