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: 9798c8b)
linux fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 12 Aug 2010 20:17:10 +0000 (15:17 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 6 Oct 2010 17:41:44 +0000 (12:41 -0500)
commit39fd3293052f6e0aecdfcedb7068d4bec870c383
treebeab4e538b0dac25e74c03a74ef13c340986b720tree | snapshot
parent9798c8b5ac49f9b8b9e545aa8e7bbf0b8ae46ee0commit | diff
linux fixes
palacios/src/palacios/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project