diff options
| author | kwadronaut <kwadronaut@leap.se> | 2016-01-01 11:47:21 +0100 |
|---|---|---|
| committer | kwadronaut <kwadronaut@leap.se> | 2016-01-01 11:47:21 +0100 |
| commit | 1d439f0b3cd9052d92822fcee9822f9ec36625ab (patch) | |
| tree | 1ed2e4437b7b9d8487092fff1ca50a35e5e22f07 /pages/docs | |
| parent | c7997a1012c98a917001cccf530745bfbffc1add (diff) | |
typo platform guide, second commit of 2016.
Diffstat (limited to 'pages/docs')
| -rw-r--r-- | pages/docs/platform/guide/config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pages/docs/platform/guide/config.md b/pages/docs/platform/guide/config.md index b5a1eed..a62edf3 100644 --- a/pages/docs/platform/guide/config.md +++ b/pages/docs/platform/guide/config.md @@ -83,7 +83,7 @@ Vagrant options: * `@vagrant_network`. Allows you to override the default network used for local nodes. It should include a netmask like `@vagrant_network = '10.0.0.0/24'`. * `@custom_vagrant_vm_line`. Insert arbitrary text into the auto-generated Vagrantfile. For example, `@custom_vagrant_vm_line = "config.vm.boot_mode = :gui"`. -* `@vagrant_basebox` allows specifying a different basebox as the default one. Of example, `@vagrant_basebox = "LEAP/wheezy"` +* `@vagrant_basebox` allows specifying a different basebox as the default one. For example, `@vagrant_basebox = "LEAP/wheezy"` Logging options: |