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, 17 May 2011 00:11:05 +0000 (19:11 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 17 May 2011 00:11:05 +0000 (19:11 -0500)
commitb679954f15f9b91d630bfb820d38e71a599baa51
tree7e78e36fff463bfc04ecee62b0076eadc518dd5e
parent4fdb3bc363a277d32fd95f58358470874b992c53
parent0e3a7655e9bf22eab05696605072bc051aeeb1ad
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel