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>
Wed, 22 Oct 2008 23:28:33 +0000 (18:28 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 23:28:33 +0000 (18:28 -0500)
commit1bb5af07a1ac2841585b3a061d5946e958cab991
tree84cc618e37fe792fbd4c469b42f69bd6af78c16b
parent0c51b09942d51a3b355728526333ad3f3895131d
parent144cb0d24ea02909221998323c6dff33c3ef2d43
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten