haskal
/
vagrant
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #11169 from briancain/fixup/website-getting-started-typo 

Fixes #11168: Fix Ubuntu version in getting started guide
This commit is contained in:
Brian Cain 2019-11-07 13:20:52 -08:00 committed by GitHub
parent 7560c7fdef 811231bf92
commit 1ec5e4c396
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
website/source/intro/getting-started/index.html.md
View File

@ -42,7 +42,7 @@ $ vagrant up
After running the above two commands, you will have a fully running
virtual machine in [VirtualBox](https://www.virtualbox.org) running
Ubuntu 12.04 LTS 64-bit. You can SSH into this machine with
Ubuntu 18.04 LTS 64-bit. You can SSH into this machine with
`vagrant ssh`, and when you are done playing around, you can terminate the
virtual machine with `vagrant destroy`.