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, 22 Jun 2011 17:47:26 +0000 (12:47 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 22 Jun 2011 17:47:26 +0000 (12:47 -0500)
commita933c1b941159422074263500ce93b7c9b2e217a
tree75fa052749fa3ba9a086b4e6cd32feef9c43ef51
parent5c00d2b83b9df0e3c975a433ebafe63146964530
parent7d80144eeb8dc7f5bb48975a7d7ab0d3b126d795
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel