diff options
| author | Richard Sandiford <rdsandiford@googlemail.com> | 2004-12-03 13:30:06 +0300 |
|---|---|---|
| committer | Richard Sandiford <rdsandiford@googlemail.com> | 2004-12-03 13:30:06 +0300 |
| commit | fdc1bab19dafb8c1f31a2990421af4bbd879f0c8 (patch) | |
| tree | 01c8e285a65a771977e960238bcd10d0ff0d00d8 /config | |
| parent | b96fedfb8b9c86650f30105b122123676232ef26 (diff) | |
Remove config.if.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions