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:40:15 +0000 (15:40 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 20:40:15 +0000 (15:40 -0500)
commita082ab2a20b41b67c9ecf81e69e50c0b0d37f49d
treead2677c52a864ff587b53e006b215bf13c69ca85
parent04977d080b9850506ced2523b6130abc517b61df
parent07c81e9a7c58c1b7f4adce4e3db04d5aa65993d6
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten