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>
Wed, 22 Oct 2008 00:54:33 +0000 (19:54 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 00:54:33 +0000 (19:54 -0500)
commitd1f72061e8ccf3dbef1513e186e5231fc554b21a
tree44dcfe273ba9375687df531a09c0f35d66045ce2
parent6412a23da90ae75906e946febb6f49df8a33d0bd
parenta2b7cc4f2d739213d1edefb85ff941c41c86907b
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten