projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d158a7c) | patch
- moved all instructions that related to local CVS/group setup in localcvsinstruction...
authorGodmar Back <godmar@gmail.com>
Wed, 9 Jan 2008 19:48:05 +0000 (19:48 +0000)
committerGodmar Back <godmar@gmail.com>
Wed, 9 Jan 2008 19:48:05 +0000 (19:48 +0000)
commit8bc47e15da36b072924f8281688ea92935ae1c18
tree65b3bd13be49ec3c502c3037ba4548a64d21b09etree | snapshot
parentd158a7cd545fa8dd35dba91935029465eedff0dacommit | diff
- 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.
doc/devel.texi diff | blob | history
doc/localcvsinstructions.texi [new file with mode: 0644] blob
doc/localsettings.texi diff | blob | history
Pintos public repository