Matias N 4a38a15332 convert TODOs to actual TODO banner and improve general presentation of different sections		2020-08-24 10:29:55 -07:00
..
coding_style.rst	rename doc/ -> Documentation/	2020-08-24 10:29:55 -07:00
documentation.rst	rename doc/ -> Documentation/	2020-08-24 10:29:55 -07:00
index.rst	rename doc/ -> Documentation/	2020-08-24 10:29:55 -07:00
workflow.rst	convert TODOs to actual TODO banner and improve general presentation of different sections	2020-08-24 10:29:55 -07:00