diff options
author | Andrew Yourtchenko <ayourtch@gmail.com> | 2020-05-21 17:05:41 +0000 |
---|---|---|
committer | Dave Wallace <dwallacelf@gmail.com> | 2020-05-28 17:06:27 +0000 |
commit | e7df8cbb6d83533d0204bfbc1a0fe341f07d9741 (patch) | |
tree | aa6f9b90637158d7ba64587cd82eb8cbbda91016 /extras/vagrant | |
parent | 04f4d91c9fe6c8d639e28edb5dd3df2c82f92428 (diff) |
misc: Avoid sample.md from in the VPP docs, clean up the extraneous copy
I had cleaned up the sample.md previously for 20.01, but when later
that was merged to master, the file was renamed. So, fix this issue.
Change-Id: I6347685af216901fbfdd445606735b9bf79f8fe5
Type: docs
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
(cherry picked from commit e2e3c38be6d91c3deb15373992cd5a764e773060)
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions