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>
Thu, 8 Sep 2011 21:18:39 +0000 (16:18 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 8 Sep 2011 21:18:39 +0000 (16:18 -0500)
commitb04d9381c4dd473df048685d5feae5e82d322cac
treea9104ecb872bc05f38eefcee167f3caca86b8b43
parent69aae1a34313bb71d47dfac1a43aa28720d0e6c8
parent7a59334f2c211cfe59b0cc83e52aabe26da98464
Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel