diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-15 11:22:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-15 11:22:02 +0200 |
| commit | 7e27da54d8ac3cacd7ecdcb8cdf009d76702ed69 (patch) | |
| tree | df59cec8859c55f91d82b64564207dd8c2ad1967 /.gitattributes | |
| parent | 7d4c3035ad7a128198a791be1b3587b5a1b6a28f (diff) | |
| parent | b5b1a56c0447770bbf1c88735a3e8bbf8c2a12a8 (diff) | |
Merge pull request #30516 from kawa-yoiko/editor-settings-search
Improvements on searching in the settings dialog
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions