diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-04-15 16:52:28 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-15 16:52:28 +0000 |
commit | 3e8c9bf7a2c60aae6405b0aa8791a1d94e7a3c3e (patch) | |
tree | b59a1ea6905111172021a82a5301f80c1f8de274 /pfinet/Makefile | |
parent | c9d0094a0ba592586514eab53b1a20933d0cb107 (diff) |
(MIGSFLAGS): Look for mig-mutate.h in $(srcdir).
Diffstat (limited to 'pfinet/Makefile')
0 files changed, 0 insertions, 0 deletions