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 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 21:07:15 +0000 (14:07 -0700)
committerKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 21:07:15 +0000 (14:07 -0700)
commitc41680bebfc33ef5e3147aa2c6cc93431c6a5931
tree421ae33fa4a263700d7e72684fba9ee4771e8e05
parentd2b644f99af35d206e7c2dd8ff435f41856ee356
parentfd5d916136c80b7c3f873f51a26b88c2149e622b
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel