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.


Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 20:17:01 +0000 (15:17 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 20:17:01 +0000 (15:17 -0500)
commit729766ab651b7ea7f10f6e4a49ac8fffdc0694c4
tree0536770a1865d7fb39190c119642ae7630925ca6
parentb59b6f0b0d56b9ef9360d63be89d2510f26423f2
parent7235237afb1e85066f6a7dee965128eb5b442640
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten