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.


Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:33:03 +0000 (16:33 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:33:03 +0000 (16:33 -0500)
commitb92188394ff90164125bc60f8bc05c7870e12e66
tree930f39d0c7f43e9e07b4b4a0704b4631c283ba7b
parent1eb4663834440ff09c48fe9c95a0cc7ad6bbf2bc
parentfc14d48378cdc90085786bccf4a5230261a0d315
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten