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: 5846563)
Removed make world from this script
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 4 Dec 2008 18:14:18 +0000 (12:14 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 4 Dec 2008 18:14:18 +0000 (12:14 -0600)
commitdf9b4872e6aeed3d7f50a33c5447ea9dec83fcfa
tree316f90d12e8966296e2ea57df3ca2d9702e79a30tree | snapshot
parent58465639abd3fb09ab52f3811b0897598d61a206commit | diff
Removed make world from this script
build/CreateIso.sh diff | blob | history
Public Palacios Development Repository for the V3VEE Project