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>
Thu, 17 Feb 2011 01:00:36 +0000 (19:00 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 17 Feb 2011 01:00:36 +0000 (19:00 -0600)
commitf468ffd5b6dc61dcf787abc3920b16d24fe5496a
treec7ebcf49dc1039b06c8fa3579d83fe9b98351c94
parentefbe4a22cf885020ad0f5d8b9b5671b89d5f7e88
parent22dbf90548cb2ea56a9057a706e3da411dc1b57b
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel