This manual documents the internal usage of StarPU version 1.3.9.
Its contents was last updated on 21 October 2021.