text: var dir_3413ae307beeb42e9275ad957f79d619 =
  [
      [ "task_manager.hpp", "task__manager_8hpp_source.html", null ],
      [ "task_runner.hpp", "task__runner_8hpp_source.html", null ],
      [ "types.hpp", "task_2types_8hpp_source.html", null ]
  ];