Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


spell checks from Patrick Widener
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 28 Apr 2009 22:52:44 +0000 (17:52 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 28 Apr 2009 22:52:44 +0000 (17:52 -0500)
commit127212a022ecda58390f3f39c505ae6f8fa67398
tree590177415fa7e64e42833ecd48a53553149bbdd1
parentdf88a0e0e54e9f499fbf38b25863bc04c8a37934
spell checks from Patrick Widener
manual/manual.tex