diff options
| author | Miles Bader <miles@gnu.org> | 1996-09-27 16:56:36 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-09-27 16:56:36 +0000 |
| commit | d48cd547fe32c4821ccd413ba7280632b9bbef0f (patch) | |
| tree | d25d0338820b2f27cb04e62bcf46efa15cd10f0c /exec | |
| parent | 378ed2ed98bd4259e28d9c3003aac19ab927bc3b (diff) | |
(W_TYPE):
Renamed from W_KIND; all uses changed.
(doc):
Updated.
(options, main):
Change --kind/-k to --type/-t.
Add --flags/-f option.
(print_store):
Print flags separately from type.
(W_FLAGS):
New macro.
Diffstat (limited to 'exec')
0 files changed, 0 insertions, 0 deletions