diff options
author | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:29:36 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:29:36 +0100 |
commit | 3a6259b85f397c05f312f4124f90cfa534df576a (patch) | |
tree | 5ed1cbdc366dd78ba2329883bef579391767a460 /user_guide_src/source/_themes | |
parent | 119ebee192980b151d853bdc413d14a3760462ae (diff) |
[ci skip] Remove a comment made obsolete by PR #6013
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions