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.


Updates of manual and guest build manual
authorPhil Soltero <psoltero@cs.umn.edu>
Wed, 27 Jan 2010 20:18:45 +0000 (14:18 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 27 Jan 2010 20:18:45 +0000 (14:18 -0600)
commite9e4727e53e06ffa2ea7de1b5c1844631af9df5c
tree9ce2d95ecb05c9dd4cfee88a1eaceab022ef01b9
parent2bdb75e65b9900644bd3a71be9924279298f4ad6
Updates of manual and guest build manual
manual/guest_build/Palacios_Guest_Build.tex
manual/manual.pdf
manual/manual.tex