diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 01:12:33 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 01:12:33 +0000 |
| commit | 52e9556272fc61e3b319d361d5abac2c78b1b72e (patch) | |
| tree | 7777e26d2819eba625d3504f80b4b5580a873f5d /configure.in | |
| parent | 73574d231840ed967fb7b06c48a542e9b57fe57f (diff) | |
Setup /servers/crash too.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions