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 newskysaw.cs.northwestern.edu:/home/palacios/palacios into...
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 23 Sep 2011 20:12:58 +0000 (15:12 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 23 Sep 2011 20:12:58 +0000 (15:12 -0500)
commited0e255bee17901009000903d6059cf1e8335cfb
tree6fbfd2462819d36d5d496dbae46abd29d852f1b8
parentef9b4151c09c67502de3720b8fb8f42c10edd073
parent33bf43b34feba36dcbfa47f8f559e5862f531393
Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel