diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-11-11 17:05:35 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-11 17:05:35 +0000 |
| commit | 9f7b5d2a0f2e543046830f4700c608c9a0fb16b5 (patch) | |
| tree | 6f80db181f4b97a5df9ce6407c7296c2700acdbe /utils/Makefile | |
| parent | fce47a851905031cc8359a2b0feaa9934e7f082a (diff) | |
(main): Print in shorter format by default; take -v flag to print in
longer format.
Diffstat (limited to 'utils/Makefile')
0 files changed, 0 insertions, 0 deletions