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>
Thu, 16 Jun 2011 17:42:48 +0000 (12:42 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 16 Jun 2011 17:42:48 +0000 (12:42 -0500)
commitb43f8ecdf053ead6d464246818ef36349cd0e52b
tree67ae438a95ac5ae051ba7e50979921c00663c171
parent46c72d0c65a70f0f0d90b9825740bc9335638821
parentead9425b90a4adf9e7dc9b97086796b9323d6d42
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel