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 palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Apr 2011 01:20:43 +0000 (20:20 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Apr 2011 01:20:43 +0000 (20:20 -0500)
commit44ac30d9905b01e9117d67f2aa0235b2d4e4e44a
tree8fd13be5eba86e643a7b8bcf796a4f7bd8a5a6a0
parent0dc44b36f3d1f95efe8fe96484e76e65aeebd197
parent72182c5e1c7d08d4b274bf300d49b523d1983b3e
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel