Valentin Gagarin 44d21f6ef9 keep generated documentation in a separate directory ... - helps navigating the code as it highlights which files are generated - makes it less error prone when working incrementally (although this should be just fixed by building out of tree)		2023-11-30 20:39:24 +01:00
..
internal-api	Factor out bits of the worker protocol to use elsewhere	2023-10-09 16:55:12 -04:00
manual	keep generated documentation in a separate directory	2023-11-30 20:39:24 +01:00