diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-10 21:50:39 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 12:48:26 +0200 |
| commit | b22595da96013de18f4a2bab5e6333d75a650554 (patch) | |
| tree | 5a61ed6c9b0aff1899273f6c6345d2ec78ccd136 /kernel | |
| parent | 9f8345d6bddfe2965ef9dc0155092348d5166f51 (diff) | |
Move indexes on top on the TOC. Closes #7764.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions