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.


Edits of user manual and guest builder manual
authorPhil Soltero <psoltero@cs.umn.edu>
Wed, 27 Jan 2010 20:14:49 +0000 (14:14 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 27 Jan 2010 20:14:49 +0000 (14:14 -0600)
commite7207dd259484fccd3348602de2e32ca59c6e594
tree6183a08fd44a12875629257c16879416e5b071f8
parent0351e0cd3603086bf45b90c030d8657410cf461e
Edits of user manual and guest builder manual
manual/guest_build/Palacios_Guest_Build.tex
manual/manual.pdf
manual/manual.tex