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>
Fri, 19 Aug 2011 00:10:27 +0000 (20:10 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 19 Aug 2011 00:10:27 +0000 (20:10 -0400)
commite7d1bd552e6680b6bb4391b653092266c09fc2a4
tree13ad83c4ed6925d73e85a4abd12499c29946ec08
parentbfb93bc6b870c04acade48143dd6829e1056d376
parentcf780b903a02efc700d51dbadcc90115f016256c
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel