Michael Schurter c2287adeee Fix demo vagrant server by making hostname resolve		2016-12-15 16:25:58 -08:00
..
digitalocean	demo/digitalocean: add curl	2015-12-08 19:53:04 -08:00
vagrant	Fix demo vagrant server by making hostname resolve	2016-12-15 16:25:58 -08:00