diff -r faac9ca8f092 -r 1ce74e992a72 diagrams/deligne/dfig3b.pdf
Binary file diagrams/deligne/dfig3b.pdf has changed