debian: Fix "make dist" by adding corekeeper.override to EXTRA_DIST.
authorBen Pfaff <blp@nicira.com>
Thu, 19 Aug 2010 20:11:05 +0000 (13:11 -0700)
committerBen Pfaff <blp@nicira.com>
Thu, 19 Aug 2010 20:11:18 +0000 (13:11 -0700)
commit3becd6c845c7d507623506795a809888f7091479
treeb934a03e25f83e4fe04f5679450b208b4ea2453f
parenta95b3cc0c7c9d9487ff830a1e30a8309c394873b
debian: Fix "make dist" by adding corekeeper.override to EXTRA_DIST.

Reported-by: Teemu Koponen <koponen@nicira.com>
AUTHORS
debian/automake.mk