diff options
| author | paul <paul> | 2003-01-25 06:56:09 +0000 |
|---|---|---|
| committer | paul <paul> | 2003-01-25 06:56:09 +0000 |
| commit | 5087df5683a810ee919d5e957cd210223b5f31e7 (patch) | |
| tree | c0f216eaac95a6e6fc37664a5ed934461d9fb305 /configure | |
| parent | 570f7598ebf2e2107ac9976d4d9def22072c5b02 (diff) | |
Small fix (free integrate_sav) and addition of an ssh command.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions