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.


Updated developers manual
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Jan 2010 22:30:14 +0000 (16:30 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Jan 2010 22:30:14 +0000 (16:30 -0600)
commit0ddb124488e721f67118482165a84ac2f00162b6
treebc07321c8f97c2536a9870396d20ef2b42eb9ae2
parent2b9ea885a5ccfc672b0fd05302a271bbcd61d17f
Updated developers manual
manual/manual.pdf
manual/manual.tex