diff options
| author | Renato Westphal <renatowestphal@gmail.com> | 2019-03-30 01:04:35 -0300 |
|---|---|---|
| committer | Renato Westphal <renatowestphal@gmail.com> | 2019-03-30 01:09:23 -0300 |
| commit | b1ec871ab1bf9fe1cde786df87765537a25a9e92 (patch) | |
| tree | 40a9f1c569e076aaedaee0fb109fc725a2c9e0a1 /doc/manpages/conf.py | |
| parent | 84cffea04f1de6bc486471651483fc1584e4daef (diff) | |
bgpd: remove unused variable
pinum (renamed from rinum) was never used for anything useful since
the initial revision ~17 years ago. Get rid of it.
Signed-off-by: Renato Westphal <renatowestphal@gmail.com>
Diffstat (limited to 'doc/manpages/conf.py')
0 files changed, 0 insertions, 0 deletions