From: David Levine <levinedl@acm.org>
Date: Thu, 25 Apr 2019 00:42:28 +0000 (-0400)
Subject: Updated name of generated file in comment of generation script.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/06d6f04bc630070ced2537511e705a7dcbbf022c?hp=06d6f04bc630070ced2537511e705a7dcbbf022c

Updated name of generated file in comment of generation script.
---