diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2021-09-28 10:26:26 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2021-09-30 07:23:33 +0000 |
| commit | cdd9a703b14b7ee093764eae14c67f60924ad67b (patch) | |
| tree | 744c85a451480d99700ac07e07936ee31449c83a /docs/conf.py | |
| parent | c7164827a951d924d07df7caae03096ea6b0d09a (diff) | |
misc: package the devtool plugins
a274c3a2ed8c4f1f38cb6f126326b4e6798869d2 has split the devtool plugins into a separate component,
which caused them not to be packaged as part of the existing .deb, however this can still be useful
to have them.
This commit adds the new deb vpp-plugin-devtools which contains that component.
Change-Id: I3cf44493745c3d4951ffd2194c6ae539e8ad5926
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions