diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-14 14:13:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-14 14:13:00 +0200 |
| commit | ce8dbef6a00520ae5f390640559d119bce048228 (patch) | |
| tree | 1473e5c1dab55335358d04e6b5e75298836d0949 /thirdparty/volk | |
| parent | c110b294e910c6ede64801ba1030ee527d465e80 (diff) | |
| parent | 6a9e855af96c2aa6dc593af3432578553660ee2f (diff) | |
Merge pull request #52662 from Chaosus/fix_bookmarks
Fix editor crash on pressing `Go to Previous Bookmark` menu button
Diffstat (limited to 'thirdparty/volk')
0 files changed, 0 insertions, 0 deletions