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 <jacklange@cs.pitt.edu>
Wed, 25 May 2011 20:36:04 +0000 (15:36 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 25 May 2011 20:36:04 +0000 (15:36 -0500)
commit152a4d5983cb45f3d8b548ff1af35539603de983
treee2b12ee139b80791b8371a2faceaed0a6da7f563
parent0d60954c2b59017520c4c3ba7d2dde0bbfc9a2d6
parent537212e255e59b086004e0eb156a31d248dd7508
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel