diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-09 21:33:30 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-09 21:33:30 +0200 |
| commit | 6fe6d05b56815966b452b0363c9ffd11e1787f85 (patch) | |
| tree | d6519891f8fbc59771a22c73392148d8e8a53982 /Documentation/sphinx | |
| parent | 19506bc2873eaf5a201248a4a0a0606f6e022910 (diff) | |
| parent | bf520529b31645688ec93b771f8f68ca20c438f9 (diff) | |
| download | sparse-dev-6fe6d05b56815966b452b0363c9ffd11e1787f85.tar.gz | |
Merge branch 'doc-annot'
* improve presentation of the doc, mainly the sidebar
Diffstat (limited to 'Documentation/sphinx')
0 files changed, 0 insertions, 0 deletions