6 Commits (1075315a11be8525dc40f4e98d7365c4e12c2b65)

Author	SHA1	Message	Date
Philip O'Toole	ebfa38d726	Move to clearer command-line options	7 years ago
Philip O'Toole	2d7b31d327	Move Vagrant box to ubuntu/xenial64	8 years ago
Philip O'Toole	4a07b8359e	Remove obsolete options from Vagrant file	8 years ago
Philip O Toole	91e6927439	Fix up Vagrant	9 years ago
Philip O'Toole	5dc13146eb	Rename setup.sh ... Make it clear setup.sh is for Vagrant.	10 years ago
Mateusz Korszun	e34349e549	Introduce vagrant env	10 years ago