diff options
| author | Miles Bader <miles@gnu.org> | 1997-06-24 21:09:53 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-06-24 21:09:53 +0000 |
| commit | ab42fe37f00d1e53b4c7bbba66ef70b5c6267b7c (patch) | |
| tree | 52c28e30a77591f1b0b8aeb1b4f851f91eabf3c7 /config | |
| parent | 5ee334a8ac1180aa153696f1afee947715728407 (diff) | |
Trash everything but floppy production rules.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions