whytheplatypus/WeBWorK_Vagrant — pull request #6 by aorinevo (2013-11-02 03:11:30+00:00)
Title: Update Vagrantfile

Made changes to Vagrantfile to comply with version 1.3.5 of Vagrant. The old file throws the following errors:
1) SSH: The following settings shouldn't exit: max_tries
2) The 'extra' flag on synced folders in now 'mount_options'
3) Shared folder mount options specified by 'mount_options' must be an array of options