Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
authorDavid Levine <levinedl@acm.org>
Tue, 8 May 2012 15:16:17 +0000 (10:16 -0500)
committerDavid Levine <levinedl@acm.org>
Tue, 8 May 2012 15:16:17 +0000 (10:16 -0500)

No differences found