diff options
| author |   Bence Romsics <bence.romsics@gmail.com> | 2024-07-18 10:57:12 +0200 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2025-04-02 18:06:05 +0000 |
| commit | c52fba50fe43159aa3d9b90e8230be4bfc91bf81 (patch) | |
| tree | 0bdc691a3f04e7bb4c861d4a69f804d6bb732281 /docs/overview/whatisvpp/developer.rst | |
| parent | 27d6d551c44cc565bf129f7dd311bc0f9ffd509b (diff) | |
Since commit fe1fb3c31a short option -p stands for --plugin-path and -s
stands for --prefix. Adjust the help text. Also fix a typo and sort
option lists.
Type: fix
Change-Id: I8e9fd825cca930e13e0a09a4492f22951a25e2ee
Signed-off-by: Bence Romsics <bence.romsics@gmail.com>
Diffstat (limited to 'docs/overview/whatisvpp/developer.rst')
0 files changed, 0 insertions, 0 deletions