summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2021-02-04 15:29:36 +0100
committerAndrey Andreev <narf@devilix.net>2021-02-04 15:29:36 +0100
commit3a6259b85f397c05f312f4124f90cfa534df576a (patch)
tree5ed1cbdc366dd78ba2329883bef579391767a460 /user_guide_src/source/_themes
parent119ebee192980b151d853bdc413d14a3760462ae (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