From: David Levine <levinedl@acm.org>
Date: Tue, 8 May 2012 15:16:17 +0000 (-0500)
Subject: Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/6a83547f2f35bc049dbcb552d6f3bc9979980817?hp=6a83547f2f35bc049dbcb552d6f3bc9979980817

Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
---