diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-03 11:51:26 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-03 11:51:26 +0100 |
| commit | 1545f7aff2d1e91f2cf1efd99f384172d2043cb6 (patch) | |
| tree | 7dac1ff737d6292f8de44453ee472bf9ec5162a4 /doc | |
| parent | 889868cbbc8beac74d5f49f9b7ef41efc4ae7d5a (diff) | |
| parent | b68b26b27e2226a75fd62afd8979560566325ce6 (diff) | |
Merge pull request #68203 from zaevi/fix_reload_scripts_error_after_external
Fix reload scripts error after saving in external editor.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions