Files ending in .map must die die die 78/2778/1
authorEd Warnicke <[email protected]>
Fri, 9 Sep 2016 20:36:13 +0000 (13:36 -0700)
committerEd Warnicke <[email protected]>
Fri, 9 Sep 2016 20:36:13 +0000 (13:36 -0700)
commitea6e369035b0aa84906ff1ff4074ca502e802dea
treeae211f5c4c6a93fc54096e318fc241fdfee2e91a
parent7c6893f27080441ad5dbaeaa5069a8b7f03066d6
Files ending in .map must die die die

Change-Id: If2d1da92ba4bd5f37b95b72f12486d1b337ae7d9
Signed-off-by: Ed Warnicke <[email protected]>
jjb/vpp/include-raw-vpp-docs.sh