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 ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 30 Jul 2010 21:58:35 +0000 (16:58 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 30 Jul 2010 21:58:35 +0000 (16:58 -0500)
commit7ec9b3cfc5d14390e0851a698f23442bbd7757b6
tree380a902838722a151380a78b5f77054ccc635d05
parentac65c333e0dae71404895e27aa706feb8e8e743d
parent6adf4a960b1a2999fa47f5e29e7583cfdf4d3b6f
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel