| commit | 73fb7068004be3d810e4c885f2f794aa25550e13 | [log] [tgz] |
|---|---|---|
| author | Richard Sandiford <rdsandiford@googlemail.com> | Fri Dec 03 10:30:13 2004 |
| committer | Richard Sandiford <rdsandiford@googlemail.com> | Fri Dec 03 10:30:13 2004 |
| tree | aa5981762b03b8c5c26b60dd4fc5128ccf2a1ec9 | |
| parent | c820d41869a60c8b043d4cfe104b0df39d1eb650 [diff] |
Remove config.if.