projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe56fda) | 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)
commit764051b37ebe92736f9d85ddfb5062ae069ca4b3
treef83216c6b8522d1b0ae3526d62c9b0f6a27645c8tree | snapshot
parentfe56fdaa15035a489177ff1d6d6bfb5b3ba15f32commit | 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