Skip to content

small changes in task related documentation to reflect recent updates

Mladen Ivkovic requested to merge documentation_update_adding_tasks into master

Accounts for the recent changes in the split files in /src and the minor colouring update in /tools/plot_task_dependencies.py.

Merge request reports