diff options
author | Juliusz Chroboczek <jch@pps.jussieu.fr> | 2012-02-11 17:48:05 +0100 |
---|---|---|
committer | Paul Jakma <paul@quagga.net> | 2012-03-25 17:06:54 +0100 |
commit | ce590ecd85b3cf32c5429f09e12d92248cc01ef2 (patch) | |
tree | b9815ffc6af493f467d0ec820b4f27a6bf78acdd /doc/ripngd.texi | |
parent | 8a46e12f5f0b02d58b1d7bc6c0d140aeec6c80c2 (diff) |
Remove dead variable reboot_time.
Thanks to Denis Ovsienko.
Diffstat (limited to 'doc/ripngd.texi')
0 files changed, 0 insertions, 0 deletions