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.


Improved tex document structure.
authorPhilip Soltero <psoltero@cs.unm.edu>
Sun, 27 Dec 2009 21:57:13 +0000 (15:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 27 Dec 2009 21:57:13 +0000 (15:57 -0600)
commit0754a27c2cd44d5acc0bd6ff435350ed4139e13c
tree453249a59e775bd371e89d3ed205b717e6efe35d
parentcee81f4dd0bb83af3fe392b5702af12bfe9906b2
Improved tex document structure.
manual/guest_build/Palacios_Guest_Build.tex