fingolfin/GitHubPagesForGAP — pull request #4 by ChrisJefferson (2014-10-20 20:22:27+00:00)
Title: Slightly tweak setup guide

Two slight changes to the initial setup guide, based on my experience of following the instructions.