summaryrefslogtreecommitdiffstats
path: root/vppinfra/Make.defs
diff options
context:
space:
mode:
authorDamjan Marion <damarion@cisco.com>2015-12-14 23:28:14 +0000
committerGerrit Code Review <gerrit@projectrotterdam.info>2015-12-14 23:28:14 +0000
commit3c6155c7b37c9674952ba62ba09b66d131007bb9 (patch)
tree5a7f3edf36c1ef064c7490d2ac49fbfa89d0e094 /vppinfra/Make.defs
parent539cff0356a26db4043012402f867a6c0e990bee (diff)
parentb73f2675c79e2a5eed198579bb181bbb472d4817 (diff)
Merge "Fix to make it easy to use http proxy with Vagrant"
Diffstat (limited to 'vppinfra/Make.defs')
0 files changed, 0 insertions, 0 deletions