diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-10 11:14:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 11:14:18 +0200 |
| commit | f0f972076a7de8012ed336bc47bf1e43a97e6699 (patch) | |
| tree | 455ca8b7d4060afbbf2ad3801116251f65a3eadd /editor/connections_dialog.h | |
| parent | 220ee9281ffa9cc5145472c0aec50d3905a03577 (diff) | |
| parent | c84e73bf92735f0f1ab30d4401db48945ead914b (diff) | |
Merge pull request #32686 from MarqusJonsson/master
Add shortcut Shift + F3 to search pervious in the built-in docs
Diffstat (limited to 'editor/connections_dialog.h')
0 files changed, 0 insertions, 0 deletions