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 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios...
authorJack Lange <jarusl@sojourner.(none)>
Tue, 29 Mar 2011 02:36:43 +0000 (22:36 -0400)
committerJack Lange <jarusl@sojourner.(none)>
Tue, 29 Mar 2011 02:36:43 +0000 (22:36 -0400)
commit5f98ee52fd6643118ce394acfb9f8537ab51b592
treea06b9a676c16705dd4e015574e06e017ba6f4085
parentbe6bf9747b22860c24af2232e9671be7153b4007
parentc73fbe1bce9b5f0dda395d73b9a251dfc5357df7
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel