diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-08 09:12:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-08 09:12:45 +0200 |
| commit | ef05306ca250cc29346e89aedd3e327860f56502 (patch) | |
| tree | 568a5771c0ae089a15902cbc2237d714f0dc0ecf /doc/tools/doc_merge.py | |
| parent | 7145d963e29d3625a97f2097e0b8f56e0ba6bcee (diff) | |
| parent | 699afca7ef6556c1c30539291a7c8af0c3fcc4d6 (diff) | |
Merge pull request #31189 from YeldhamDev/find_files_text_error
Fix error when going to a text file by clicking in a result from "Find in files"
Diffstat (limited to 'doc/tools/doc_merge.py')
0 files changed, 0 insertions, 0 deletions