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: 4482ea8)
format fix
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:32:30 +0000 (17:32 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:32:30 +0000 (17:32 -0500)
commitcb7271d5e2fede8f39ece1c4b5ba516834c1e4aa
tree628edd19928123890baf5d29d27971aa884f4b45tree | snapshot
parent4482ea8c44c9102cf47de4bf8bc9cfef7400097ccommit | diff
format fix
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project