# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1561503550 -3600
# Node ID 0c63fb38247368768e8e9edccbb371d929481835
# Parent  58b86413b39bdaa55bcd17e5b0dd6308209ca2cc
another superflous file

diff -r 58b86413b39b -r 0c63fb382473 ecp/ecoop_paper.synctex.gz
Binary file ecp/ecoop_paper.synctex.gz has changed