diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-09-21 18:30:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-09-21 18:30:05 +0000 |
| commit | 53ef34f26d4089dee66b27a87b5467b2813d26f9 (patch) | |
| tree | c79c34e7bbcca677b66a91d0df12a3c85f107aab /configure.in | |
| parent | b554935fb5f5a499c62950c1dd571a54170eb8a0 (diff) | |
(prog-subdirs): Removed `pfinet'.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions