diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-08-06 00:21:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-06 00:21:24 +0200 |
commit | 10f9f20849d81158476dde809019b00c14d040e2 (patch) | |
tree | 0df0238cb1af1c813063ff928b1fbcb2e37553f8 /modules/text_server_adv | |
parent | 99aa97949fa808e9a0be71193fb68ec365496c03 (diff) | |
parent | 3d3fce0d3c2139a26195e1d4f014ed4a32f9686d (diff) |
Merge pull request #63887 from qarmin/more_renames
Various converter enhancements and bugfixes
Diffstat (limited to 'modules/text_server_adv')
0 files changed, 0 insertions, 0 deletions