diff options
| author | Miles Bader <miles@gnu.org> | 1996-10-09 19:13:52 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-10-09 19:13:52 +0000 |
| commit | d03b1e9fac1bf93948c9cf5b3662a6f65e6255d0 (patch) | |
| tree | d474b928c3d6f7bbda396b0182906d6651f1b2e8 /exec | |
| parent | e822431a837def63254f0cf331edb0fb4ed27490 (diff) | |
(print_store): Properly ignore STORE_INACTIVE.
Diffstat (limited to 'exec')
0 files changed, 0 insertions, 0 deletions