diff -r 3feb6e24a518 -r d42ae7a54143 diagrams/pdf/deligne/intervals.pdf
Binary file diagrams/pdf/deligne/intervals.pdf has changed