devdot updates
This commit is contained in:
parent
3f770aaac8
commit
9a735f94cc
@ -11,7 +11,7 @@ description: |-
|
||||
The Docker provider has some provider-specific configuration options
|
||||
you may set. A complete reference is shown below.
|
||||
|
||||
### Required
|
||||
## Required
|
||||
|
||||
One of the following settings is required when using the Docker provider:
|
||||
|
||||
@ -25,7 +25,7 @@ One of the following settings is required when using the Docker provider:
|
||||
[docker documentation](https://docs.docker.com/engine/reference/commandline/build/#/git-repositories)
|
||||
for more information.
|
||||
|
||||
### Optional
|
||||
## Optional
|
||||
|
||||
General settings:
|
||||
|
||||
|
||||
@ -1,8 +1,4 @@
|
||||
[
|
||||
{
|
||||
"title": "Back to Vagrant Documentation",
|
||||
"href": "/docs"
|
||||
},
|
||||
{
|
||||
"title": "Boxes",
|
||||
"routes": [
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user