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/Makefile | |
| parent | 23a439b6145bd6f99054d4c36ada66dbfc989c0e (diff) | |
(msg-MIGUFLAGS, term-MIGUFLAGS): Add a user prefix of `ps_'.
Diffstat (limited to 'libdirmgt/Makefile')
0 files changed, 0 insertions, 0 deletions