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.


Gears - compilation for user injection
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 21:31:57 +0000 (16:31 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 21:37:02 +0000 (16:37 -0500)
commit0593c588b97054f631d1a729d045c97c9abd3e3b
tree1ca188540a8d3a04ee7b1a62238f55119acd3f5a
parent13b3ec929f6862a41c4b7b0b39cf444251d5e886
Gears - compilation for user injection
gears/service_setup/compile-for-static-user-level-injection.pl [new file with mode: 0755]