diff options
| author | David Miguel Susano Pinto <carandraug+dev@gmail.com> | 2022-06-16 21:10:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 21:10:40 +0100 |
| commit | 715a137a4d86eab051de8a60b11d1a1c8b1937dd (patch) | |
| tree | 38204cdaf08866766d27dcea11d8f5341d4df802 /doc/tutorial | |
| parent | 1a1491b8a70def8b37c07021b8586fc435103058 (diff) | |
| download | sphinx-git-715a137a4d86eab051de8a60b11d1a1c8b1937dd.tar.gz | |
agogo theme: ensure hidden toctree is show on Table of Contents (#6679)
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions