diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-11 14:22:41 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-12 12:31:24 +0200 |
commit | 52c314501cf21144c43eeb15d35b864a9d4939ec (patch) | |
tree | caf4c2b735bb036cb8bc1c73e3a9a7631c2979cb /editor | |
parent | 30b1c7fc1fa0ccb82d9c0a3dbafce9aa466f28c8 (diff) |
doctest: Update to 2.4.11
(cherry picked from commit 3091c6e9e96261591c7d6f5ebf4949d4d5a68c18)
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions