diff options
| author | Donald Sharp <sharpd@nvidia.com> | 2022-05-02 12:36:22 -0400 |
|---|---|---|
| committer | Donald Sharp <sharpd@nvidia.com> | 2022-05-13 07:44:55 -0400 |
| commit | e9f709e5ea2bf3e50867864dba33b6bfe9cb8c73 (patch) | |
| tree | 2de7b3326591b4559a22104b5824fa37def35a8d /python/makefile.py | |
| parent | ef013a6985f5d522451a5d4ffec70205fef13d71 (diff) | |
bgpd: Fix no form of rpki commands to take values
Fix the no forms of some rpki commands to take variable
values on the no form. So that people cut-n-pasting while
adding a no works.
Signed-off-by: Donald Sharp <sharpd@nvidia.com>
Diffstat (limited to 'python/makefile.py')
0 files changed, 0 insertions, 0 deletions