This manual documents the internal usage of StarPU version 1.3.8.
Its contents was last updated on 17 May 2021.