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.


Trammell is a doofus
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 21:18:10 +0000 (16:18 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 21:18:10 +0000 (16:18 -0500)
commit33e59b4f73c24aa953e12d9427dafac88b19cfaa
tree5daaf2743b94d532e785de42b6b4be910cdc3f77
parent5393fbd7f71cd1b080169e8c36329191e380fd41
Trammell is a doofus
kitten/init/main.c