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>
Tue, 15 Mar 2011 00:27:10 +0000 (19:27 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 15 Mar 2011 00:27:10 +0000 (19:27 -0500)
commitc9d4420997918cd04f84e94f7a3093d9e10f7cba
treed65f17a110e21a504dc79e07fc4f62c506d6f22b
parentaa49f63e0f1d36b9f5fde950f2b9048fdd598b82
parent25ee48a048fa16a385d909176df04cff80263d32
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel