7 Commits (5bb863c891a2db7bc7eb0b139dc44e84b72c0d6e)

Author SHA1 Message Date
Jussi Pakkanen 0af029e08c Wrap-git files can have tags as well as commit ids. [skip ci] 7 years ago
David Pérez-Suárez c647db96d5 Small changes for syntax hightlight 7 years ago
Jussi Pakkanen f19ae54974 Rewrapped lines of a few more files. 7 years ago
Sven Steinbauer 130d75bee5 Fix missing backticks 8 years ago
Elliott Sales de Andrade 40d7704cd5 doc: Use https links wherever possible. 8 years ago
Elliott Sales de Andrade b80d40c287 doc: Capitalize things more consistently. 8 years ago
Thibault Saunier b371875e02 docs: Import the website and wiki and build with hotdoc 8 years ago