]>
author | Julien Palard <julien@palard.fr> | |
Mon, 2 Jul 2018 19:56:28 +0000 (21:56 +0200) | ||
committer | larryhastings <larry@hastings.org> | |
Mon, 2 Jul 2018 19:56:28 +0000 (12:56 -0700) | ||
commit | 1b141b9553424971639bde281feb1d4e4e586dbe | |
tree | 82f6e517a23031d9d5626c2268af5854fdf2bbd1 | tree | snapshot |
parent | 13402fc4c974b901c29d98e18301a6e41149508a | commit | diff |
Doc/Makefile | diff | blob | history | |
Doc/conf.py | diff | blob | history | |
Doc/tools/static/switchers.js | [new file with mode: 0644] | blob |
Doc/tools/static/version_switch.js | [deleted file] | blob | history |
Doc/tools/templates/layout.html | diff | blob | history |