diff options
| author | George Petculescu <gxgpet@gmail.com> | 2023-01-26 23:11:27 +0100 |
|---|---|---|
| committer | George Petculescu <gxgpet@gmail.com> | 2023-01-26 23:11:27 +0100 |
| commit | a6faab2ebf082eefff9c2422fce016e49da548bf (patch) | |
| tree | 5b03057577d7ae41116353a539ade2206af2af28 /user_guide_src/source/_themes | |
| parent | 7eda20fae113e9fe6cb52c218d111223f059c5e7 (diff) | |
Fixes #6175
This was introduced via #3752.
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions