# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1408107687 -3600
# Node ID 2bc119fc8657accc2491ddd32de02e759c7af97c
# Parent  19b51be836179926850f8995696477224ee0ab1b
deleted big pdf file

diff -r 19b51be83617 -r 2bc119fc8657 Literature/nipkow-lexing.pdf
Binary file Literature/nipkow-lexing.pdf has changed