diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2018-02-07 14:35:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-07 14:35:08 -0500 |
| commit | 25236dd35df008a1484f2605299c8228ea1cfc5b (patch) | |
| tree | c4f7f1ec344a7f16d0e343d869195f775ccc6b8d /tools/git-reindent-branch.py | |
| parent | 75e5d6feefc11e7e67d0463fbacc4aa528916b9b (diff) | |
| parent | b0dd98e79854d27595390946166503064ccd7d4f (diff) | |
Merge pull request #1721 from opensourcerouting/isis-monitor-fds
isis: use descriptor polling instead of time
Diffstat (limited to 'tools/git-reindent-branch.py')
0 files changed, 0 insertions, 0 deletions