This manual documents the internal usage of StarPU version 1.3.10.
Its contents was last updated on 15 November 2022.