diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-26 23:22:38 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-01-27 10:42:48 +0100 |
commit | 4feb2deebe4118468ef75ac0c7ccf52000e660fe (patch) | |
tree | 5313bd1247af1b70b37c1f49d27f70a56649350f /docs | |
parent | 735fb8a89f51875196783b167e8ae622368808fc (diff) | |
download | docs-4feb2deebe4118468ef75ac0c7ccf52000e660fe.tar.gz docs-4feb2deebe4118468ef75ac0c7ccf52000e660fe.tar.bz2 docs-4feb2deebe4118468ef75ac0c7ccf52000e660fe.zip |
Fix missing links, commenting out superfluous/outdated section
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions