summary refs log tree commit diff stats
path: root/doc/tools.md
Commit message (Expand)AuthorAgeFilesLines
* clean up the documentation (#22196)ringabout2023-07-021-1/+1
* better docs; undocument sinkInference as it doesn't work (#22089)Andreas Rumpf2023-06-131-5/+4
* Atlas: some final cleanups (#21947)Andreas Rumpf2023-05-281-2/+2
* ship atlas and build documentation (#21945)ringabout2023-05-281-0/+4
* Markdown link migration part 2 (#20371)Andrey Makarov2022-09-191-8/+8
* Improve Markdown code blocks & start moving docs to Markdown style (#19954)Andrey Makarov2022-07-151-0/+42