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://palacios@newskysaw//home/palacios/palacios into devel
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 7 Aug 2009 18:36:38 +0000 (13:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 7 Aug 2009 18:36:38 +0000 (13:36 -0500)
commit33916e4213bf7bb340361669bcdb2f3169ea5f06
tree8dc10b6d7327d29888b0942b53252be06da5d08c
parenta98c81f20b2579d31bb48bf47580809024a7901d
parenta24a1722328a575cec8dd8578902fd0f68c72c1c
Merge branch 'devel' of ssh://palacios@newskysaw//home/palacios/palacios into devel