diff options
| author | Igor Ryzhov <iryzhov@nfware.com> | 2023-02-17 12:10:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-17 12:10:18 +0200 |
| commit | 6af8095c42067896365d59f2338880a5304ff5bb (patch) | |
| tree | 34e3cc951899af77ddf959654e22a703fc63be6d /python/makefile.py | |
| parent | 68c8001d418e4e43c81cc32d1958a8ea089cc67d (diff) | |
| parent | 6df8da715bcc49c32f624002210f3599c577852c (diff) | |
Merge pull request #12828 from FRRouting/mergify/bp/dev/8.5/pr-12734
lib: Fix non-use of option (backport #12734)
Diffstat (limited to 'python/makefile.py')
0 files changed, 0 insertions, 0 deletions