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: 748e856)
automatic build script for the build tools needed for the vmm
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 Feb 2008 17:25:57 +0000 (17:25 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 Feb 2008 17:25:57 +0000 (17:25 +0000)
commitddd0c1fd75d297ac77969a7f9e191f3209797b3d
tree0f0eb96ca2f58af1d84b204c9aff255eb3833341tree | snapshot
parent748e856fe4c5cc9b0b80d60db90af10ceb0247c8commit | diff
automatic build script for the build tools needed for the vmm
SETUP_DEV_ENV.pl [new file with mode: 0755] blob
Public Palacios Development Repository for the V3VEE Project