diff options
author | Miles Bader <miles@gnu.org> | 1996-05-07 00:47:03 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-05-07 00:47:03 +0000 |
commit | 98578e4f671e4b09a083d8ddd04b9596751a82b5 (patch) | |
tree | 37e2865d4e3cc9f4a3fbd9837f340408b84276c6 /devio | |
parent | 893c06b736a81c4be7ef3504466c9f2f95b98b36 (diff) |
(add_preconditions, proc_stat_set_flags): Remove references to exec_flags.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions