diff -r a36840bd7631 -r 35914358c2a7 diagrams/pdf/deligne/intervals.pdf
Binary file diagrams/pdf/deligne/intervals.pdf has changed