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>
Thu, 8 Sep 2011 21:14:55 +0000 (16:14 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 8 Sep 2011 21:14:55 +0000 (16:14 -0500)
commit0af36671deaaf3652b7ed74895664ff259ba0ef8
tree9c709c686d5e5933587dff7c4d54fea870e1d35a
parent15ca3c1e6564e60959d5fbd24651f6700f0db173
parent7a59334f2c211cfe59b0cc83e52aabe26da98464
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel