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 | |
| parent | 8a46e12f5f0b02d58b1d7bc6c0d140aeec6c80c2 (diff) | |
Remove dead variable reboot_time.
Thanks to Denis Ovsienko.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions