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 palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorLei Xia <lxia@northwestern.edu>
Mon, 12 Sep 2011 20:48:27 +0000 (15:48 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 12 Sep 2011 20:48:27 +0000 (15:48 -0500)
commita7f18b04b625362bd7696a5e693cbcebc1c540ea
tree292e8f00e2ecb3cdaa5757c829e5c88301c319cd
parent8c40cd5382b63e6128a9a6b81719f262c4011a4b
parent284cd2cc7083fbb37293bf5e2638aeadd366807f
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel