diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-11-22 15:29:37 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-11-22 15:29:37 +0100 |
commit | d2d22e40e9ae720accbc027bb86d3f7ec7d721de (patch) | |
tree | aa03288ea16e0e7aedcf3f0d3e01a669f5172c15 /src/Nerve_GIC/include | |
parent | c8a4a15a88a8db5b8824bcee6d22d552dfdfe625 (diff) |
Simplify and boldify main pages (modules, installation, examples, ...) in the left top menu of sphinx documentation
Diffstat (limited to 'src/Nerve_GIC/include')
0 files changed, 0 insertions, 0 deletions