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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b9bba8)
better UI for v3_free
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 20:55:29 +0000 (15:55 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 20:55:29 +0000 (15:55 -0500)
commitdffa723ee7e01abf77e718838b7e8ab82487b8f6
tree027bacd43321f10a96ad578f0d21a847cfc7fbbetree | snapshot
parent1b9bba809bf9c1d6ada56c7e4f8910e7afb82557commit | diff
better UI for v3_free
linux_usr/v3_free.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project