diff options
| author | Tim Pepper <tpepper@vmware.com> | 2018-08-20 21:12:50 -0700 |
|---|---|---|
| committer | Tim Pepper <tpepper@vmware.com> | 2018-08-30 17:28:32 -0700 |
| commit | 97dfa62eeedf573130a325cecdf88b22fedcdc50 (patch) | |
| tree | 46de8e3b654cae823aaeeff7ac33f0ff83a43473 /github-management | |
| parent | 0ebcc778e33f8caefe4e5768ab522de0d361d992 (diff) | |
devel guide: remove old PR workflow diagrams
These two files in the developer guide are very old and no longer
accurate.
Signed-off-by: Tim Pepper <tpepper@vmware.com>
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions