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>
Sat, 16 Jan 2010 16:14:11 +0000 (10:14 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 16 Jan 2010 16:14:11 +0000 (10:14 -0600)
commit2bdb75e65b9900644bd3a71be9924279298f4ad6
tree787d12b024f36bf7e5d3db38638fc33a9b9bca08
parent561614609860e8e63e053a8cf3734e31e1113d74
parent651e3672545ee1d510231995dfbc184d98c3686b
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel