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>
Fri, 1 Apr 2011 16:40:14 +0000 (11:40 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 1 Apr 2011 16:40:14 +0000 (11:40 -0500)
commit3c2b7fcfcdde3a7a3c22977ddb747ee1bb6b94ee
tree9c425524ac3b0b2b68435f11b61e1d5f739853af
parentdf6ae183417fd8667bbcb4a89d1837e1a0306af8
parent7b93b104b5c8eee70e11304789b2a7d66cff9704
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel