summaryrefslogtreecommitdiff
path: root/Vagrantfile
diff options
context:
space:
mode:
authorJoel Challis <git@zvecr.com>2022-03-10 23:53:16 +0000
committerGitHub <noreply@github.com>2022-03-10 23:53:16 +0000
commit7e6f1c9e08874933618bf97c0e338fce44aa2713 (patch)
tree9cb385071a1c034f8dad11709ab947c8f888f68f /Vagrantfile
parente9458fd694362ec77a2dee25b4a95765ade25632 (diff)
Force platform pin defs to be included (#16611)
* Force platform pin defs to be included * Always grab first header
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions