Remove another generated file from the repo
authorAlex Smith <ais523@bham.ac.uk>
Mon, 27 Sep 2010 10:51:36 +0000 (11:51 +0100)
committerAlex Smith <ais523@bham.ac.uk>
Mon, 27 Sep 2010 10:51:36 +0000 (11:51 +0100)
commitd9d8897c1a5ce8cd595360803e27b16cc91b72c4
tree04424643a9a6dc753b789d7769215a8511c763a5
parent8fac767781499509307b48d87d79e7786f774219
Remove another generated file from the repo

The reason it wasn't caught earlier is, I think, that it's only generated
into release tarballs, with the repo version just sitting there and getting
more and more out of date. It isn't necessary, at least, especially as the
manifest's available directly from git in a more correct manner.
MANIFEST [deleted file]