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, 20 Apr 2011 02:32:46 +0000 (21:32 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Apr 2011 02:32:46 +0000 (21:32 -0500)
commitb45b6127e0af286c2dbd0c972a34bd88860a748a
treefb44a4a380086c89ac309aa1c2f77d35ccba4422
parent45870cc84a0491e1922540ffc9a5af72faea4a5f
parent44ac30d9905b01e9117d67f2aa0235b2d4e4e44a
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel