docs: document the unformat '%_' option 92/25692/2
authorPaul Vinciguerra <pvinci@vinciconsulting.com>
Thu, 5 Mar 2020 16:47:41 +0000 (11:47 -0500)
committerDave Barach <openvpp@barachs.net>
Fri, 6 Mar 2020 13:53:19 +0000 (13:53 +0000)
commit5e0e0df9b494bb9ef698533db42f2ea496046a32
treeae5f28a48ef92d6e9aa6cbc23096b0c62e4c2c32
parentfb8ed8b95529db095b7305938db17a545ca9eeef
docs: document the unformat '%_' option

Type: docs

Change-Id: Id864fcff768a78aa313b193f2eaabe545d95bec4
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
docs/gettingstarted/developers/infrastructure.md