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>
Mon, 2 May 2011 18:31:57 +0000 (13:31 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 18:31:57 +0000 (13:31 -0500)
commit3df1b43b2bf76d14a1ffe62e27dc3a6c252b27a7
tree732970bbc825c6166c209f0cbdcde26a13de06f6
parent40d79cccadcdeb5b4744bf965030b40b0d5cb1fb
parent7208dc69554837a8db4270282bb16edf51a3f0cd
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel