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>
Mon, 18 Apr 2011 22:24:06 +0000 (17:24 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 18 Apr 2011 22:24:06 +0000 (17:24 -0500)
commit939557a27934a05573b483f4fc689b6a88bf4f3a
treef03d79eb3dc47635590b1a02ac589618e7947047
parenteaf7c604f327a4ab0435d5c88c0eaf418be3f3ea
parent24900b865a7a10496a5ddadb7613567054138f48
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel