diff options
| author | Rafael Zalamena <rzalamena@users.noreply.github.com> | 2019-03-29 15:12:45 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-29 15:12:45 -0300 |
| commit | e5f988b544eb9b2a34241335779cebea9fb9da40 (patch) | |
| tree | e1dbea776fce13e34db0578e85bec6d64e0f077b /doc/manpages/conf.py | |
| parent | e4bed55b513e4b3e1bf8b41883851f7f3bcbfbb7 (diff) | |
| parent | 9d6c33eadfde3baf29bee3bc72cd06ae5ea8a196 (diff) | |
Merge pull request #4041 from donaldsharp/interface_deletion
bfdd, nhrpd, pimd: When deleting an interface clean up
Diffstat (limited to 'doc/manpages/conf.py')
0 files changed, 0 insertions, 0 deletions