diff -r c51178fa85fe -r 3241b1e71633 ecp/lipics-manual.pdf
Binary file ecp/lipics-manual.pdf has changed