diff options
author | paul <paul> | 2003-05-23 09:21:46 +0000 |
---|---|---|
committer | paul <paul> | 2003-05-23 09:21:46 +0000 |
commit | 7515cffe5e11fdfbc437c02b7af8b0f7b4d36fce (patch) | |
tree | 9acbaf0a01080920f25cf1107465a7f79ee7e2f8 /doc/ripd.texi | |
parent | 1921e6f8965701040fe1b4f27619b2d7f3fec254 (diff) |
Undo Hasso last patch, about to apply a slightly updated patch.
Diffstat (limited to 'doc/ripd.texi')
0 files changed, 0 insertions, 0 deletions