diff options
| author | Théo Zimmermann | 2018-06-10 21:50:39 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-17 12:48:26 +0200 |
| commit | b22595da96013de18f4a2bab5e6333d75a650554 (patch) | |
| tree | 5a61ed6c9b0aff1899273f6c6345d2ec78ccd136 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 9f8345d6bddfe2965ef9dc0155092348d5166f51 (diff) | |
Move indexes on top on the TOC. Closes #7764.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions