Cédric Augonnet fab6e0a48a Remove the --disable-priority option which is really useless (someone who do 15 年之前
..
Gantt bca5400187 Monotonic clocks are used by default in FxT now and the option was removed from 15 年之前
Makefile.am a3c1c62f7b doc: generate an unique file for html 15 年之前
starpu.css b97421a2a2 doc: update style 15 年之前
starpu.texi fab6e0a48a Remove the --disable-priority option which is really useless (someone who do 15 年之前