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>
Wed, 17 Nov 2010 06:39:30 +0000 (00:39 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 17 Nov 2010 06:39:30 +0000 (00:39 -0600)
commit07c2f1129128b71504c887d0d1f7e5897900633b
treefa9e7dbf1527ef3fc382df1f2e16782a92495f3c
parentcb991b28aeea489c74e7f2f024a1de88da4a9d1c
parent3cb93a5034835ac4b3eb7831e743463b6c831e51
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel