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, 19 May 2011 23:00:14 +0000 (18:00 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 May 2011 23:00:14 +0000 (18:00 -0500)
commit888d657288a1cccaa8f882a9a7ac4406399d0826
tree81a04dea39e0daf57423d91b0e60d624588adb42
parent861ce318738e31181f20286c9669979acf0f62d3
parentc7739777acd3a3a384da670552fb4145e2161375
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel