platform: rewrote vppctl script to include history 40/3040/6
[vpp.git] / build-root / deb /
drwxr-xr-x   ..
drwxr-xr-x - debian