diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-27 21:55:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-27 21:55:17 +0200 |
| commit | 0595ad79da021a62ca797f897c563ee0e5b56573 (patch) | |
| tree | 3d6090fc015b6ced2961638dcca12f10e820bd06 /thirdparty/oidn | |
| parent | 19e2f30a55b2b549b023ff8a18f088a349e74b11 (diff) | |
| parent | da808d4fd3a0dbcca487ca7898fd278dd3bf361d (diff) | |
Merge pull request #64521 from bruvzg/sh_over_fix
Fix editor shortcuts overrides overwriting user configured shortcuts.
Diffstat (limited to 'thirdparty/oidn')
0 files changed, 0 insertions, 0 deletions