diff options
author | Miles Bader <miles@gnu.org> | 1996-03-27 22:19:18 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-03-27 22:19:18 +0000 |
commit | 7205283eb2b4a19793dd46c3e80090dbab25afc4 (patch) | |
tree | f829c0b49bd12b6c6f1a8a23f9ad1401d644d76d /libdirmgt | |
parent | 23a439b6145bd6f99054d4c36ada66dbfc989c0e (diff) |
(msg-MIGUFLAGS, term-MIGUFLAGS): Add a user prefix of `ps_'.
Diffstat (limited to 'libdirmgt')
0 files changed, 0 insertions, 0 deletions