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>
Fri, 26 Aug 2011 01:57:44 +0000 (20:57 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 26 Aug 2011 01:57:44 +0000 (20:57 -0500)
commit5c16780e3eb5e4ef59de8e929e2528bb07fce5ec
tree4d9ee7418c83f33e51f9c8dbca87766183f9eefa
parent8e9c13c41b0244a8d0029e837a623591a22c5879
parentfc840af877d7b069a007fcc1eca88e31f5ec86f6
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

linux_usr/Makefile
linux_usr/Makefile