diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-11 13:59:40 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-11 13:59:40 +0200 |
| commit | d2a8f4d33dfafc850f90b4659ce0d971c2689ad2 (patch) | |
| tree | b5fc7d78b5ec9b92494a65986b6bb73f6d5fcbc8 /doc/classes/OS.xml | |
| parent | f21053d189719dfdec8637513c20fcda9c363ed0 (diff) | |
| parent | ff0de4e220a1f1758a7d592e433c3e2ed9803775 (diff) | |
Merge pull request #61776 from Rindbee/fix-code-editor-search
Fix some bugs about search in code editor
Diffstat (limited to 'doc/classes/OS.xml')
0 files changed, 0 insertions, 0 deletions