openwebwork/WeBWorK_Vagrant — pull request #3 by aorinevo (2014-05-21 23:14:34+00:00)
Title: Update Vagrantfile to work with the latest version of Vagrant

The 'extra' flag on synced folders in now 'mount_options'. Also commented out ww_config.ssh.max_tries = 10, since max_tries is now deprecated.