diff options
| author |   Ed Kern <ejk@cisco.com> | 2018-07-11 07:45:41 -0600 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2018-07-11 18:10:04 +0000 |
| commit | bf2f3261b2302e2cc182ea71b7df61c2e2b405ce (patch) | |
| tree | 56449c949f363e7911c8f47e947e2049584e565c /extras | |
| parent | 067cd6229a47ea3ba8b59a2a04090e80afb5bd2c (diff) | |
Documentation: Placeholder directory and files
This adds the directory sphinx and sphinx/docs
as well as two matching placeholder files. These
are being added now to facilitate some gerrit triggers
Change-Id: I0e6e7607c5ae5cdbf05718b95b1d299178544485
Signed-off-by: Ed Kern <ejk@cisco.com>
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions