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, 20 Apr 2011 23:51:19 +0000 (18:51 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Apr 2011 23:51:19 +0000 (18:51 -0500)
commit28370c634cc292659d6c97dcf276c0e9fc5ac33c
treeac78a2ac2645c92b651203e9124efb71266d9fa2
parentb283373f3067fe329fb6c526f62d72cec27f4149
parent87628fa5006de431238dbd6d3d56ccc703a54847
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel