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>
Tue, 11 Oct 2011 22:12:11 +0000 (17:12 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 11 Oct 2011 22:12:11 +0000 (17:12 -0500)
commitdc62d23e63c32afac8c38ec4ccb8fbea3e62ac20
tree1922ce547361a93401b1811eb70e7b2b397a9e2e
parented0e255bee17901009000903d6059cf1e8335cfb
parent83942e281e4e17d6eb296d343094578dc50b3b0b
Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel