diff options
author | Andrey Andreev <narf@devilix.net> | 2022-01-05 20:56:00 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2022-01-05 20:56:00 +0100 |
commit | 004f0a1b41c27e3d40f62a51300599d35c54c0c0 (patch) | |
tree | 567d0f7c1466ed899e89cc0d660e076e3e5755bf /user_guide_src/source | |
parent | 2afffc07780f29767d8b212f7c2cbde4ab56ef51 (diff) |
Polish changes from PR #5373
Diffstat (limited to 'user_guide_src/source')
0 files changed, 0 insertions, 0 deletions