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@newskysaw.cs.northwestern.edu/home/sharedev...
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:20:06 +0000 (15:20 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:20:06 +0000 (15:20 -0500)
commitbbf6f9c66592ef4c65e8d47ccd9a0eacc0e71c1f
tree2126dac3400c95d0784a93650d16dfc115a6bb53
parent851892e9e1db5252d2c03e58e7faf9d80c095f6c
parent729766ab651b7ea7f10f6e4a49ac8fffdc0694c4
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten