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>
Tue, 29 Mar 2011 22:28:24 +0000 (17:28 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 29 Mar 2011 22:28:24 +0000 (17:28 -0500)
commita79fa3206e688095687133457c891aa102b303bf
tree39c94428e7515c53d0d92c29f3bbe2e31674f97d
parent0f2e5f3934c769e0e76f290b80b0647dcfc3ade2
parent5f98ee52fd6643118ce394acfb9f8537ab51b592
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel