diff options
author | Paul Selkirk <paul@psgd.org> | 2016-05-24 21:39:49 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2016-05-24 21:39:49 -0400 |
commit | ecdbf7695cf8c05837dfd8925347a8e45a11de2b (patch) | |
tree | fadd29746d802c38e7b3b6b4e8d9591aabaec71d /utils/GNUmakefile | |
parent | d20ac4036667e9cbf41c4a8011e53ca53a5a2a64 (diff) |
Widen an int in an error message, for consistency.
Diffstat (limited to 'utils/GNUmakefile')
0 files changed, 0 insertions, 0 deletions