rtfd/readthedocs.org — pull request #697 by toffer (2014-02-21 21:55:41+00:00)
Title: Add .vagrant to .gitignore.

Because the Vagrantfile is now in the top-level directory, the
.vagrant directory also gets created in the top-level directory.