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 16:10:42 +0000 (11:10 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 16:10:42 +0000 (11:10 -0500)
commit4b9ac4d8eebc50949193bff288623e07be22a283
treed9773fcdef54f817b05d8a4e3cc46cf3524c694a
parent54f20468760aa2c6d232b6478f3d714bb60bb8bf
parent8c767ddb04d3ac42d080d9f9f5f40196d6f8f217
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten