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...
authorLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:34:10 +0000 (17:34 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:34:10 +0000 (17:34 -0500)
commit6704401236672424ff4f60900857f652a90cb47d
tree2a7ef32ea3b9880b92e336572a878a75d0df75e3
parent4f0062ca2730a58b9f9cca67303c47c573cbcf76
parentb3db1a4554c2cbcdd311f8abe4abac4c81fd6fe9
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel