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:43:44 +0000 (12:43 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 16 Jun 2011 17:43:44 +0000 (12:43 -0500)
commitc71ed8f9619579711dfaefa503200c055b42b378
tree154d6285694b317f62552a03a1dca7b28d74b09e
parentb43f8ecdf053ead6d464246818ef36349cd0e52b
parent3c56980fa7fe8d42610dbbcf067689cc005a5d6e
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel