diff options
author | Martin Mares <mj@ucw.cz> | 1998-11-27 19:38:30 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 1998-11-27 19:38:30 +0000 |
commit | b4712244a0fb49b32dc58d28523f122d8ed2cae8 (patch) | |
tree | d67305b05dc0ec6c79b03d44161d1ce0581b2f2c /nest | |
parent | da87782278cdb38a90f5236fbbc4928c9ca2ee15 (diff) |
Dummy grammar for RIP configuration. Now empty, but must be here since
it's referenced in the makefiles.
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions