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://newskysaw.cs.northwestern.edu//home/palacios/palacios...
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 16 Jun 2011 19:04:53 +0000 (15:04 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 16 Jun 2011 19:04:53 +0000 (15:04 -0400)
commit4a237f553b19c03f2f5b04663a743a9c861dec73
tree4a0565dbb62d7d9ad888be9a0cb86c16a8ee9b73
parent660a66ad71b81b5bf63eaa5f75bec3ae44e8254e
parentb4452c8371120e978d3b1004d60b62468c8c8115
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel