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...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 3 Nov 2010 20:56:14 +0000 (15:56 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 3 Nov 2010 20:56:14 +0000 (15:56 -0500)
commitdadbbea2b9fdff1390720da62842175102b2f39b
treefd09b682f8764541542f0da207a8eaf519450a93
parenta53aab83afda2e8357720a45dc08a220c61ddfaa
parent0a95faece166467bc0a308af196a82731de5f7dc
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel