From: Godmar Back <godmar@gmail.com>
Date: Wed, 9 Jan 2008 19:48:05 +0000 (+0000)
Subject: - moved all instructions that related to local CVS/group setup in localcvsinstruction... 
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8bc47e15da36b072924f8281688ea92935ae1c18;hp=8bc47e15da36b072924f8281688ea92935ae1c18;p=pintos-anon

- moved all instructions that related to local CVS/group setup in localcvsinstructions.texi
- added variables recommendsourceforge, recommendvnc, and recommendcygwin to include/exclude
  recommendations to use sourceforge, VNC, and Cygwin, resp.
---