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>
Fri, 16 Sep 2011 23:07:53 +0000 (18:07 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 16 Sep 2011 23:07:53 +0000 (18:07 -0500)
commita78284b06acb02600e70abe4bb5288b8c2fbf253
treea1bd05fd85236feb397350c0de6675bbd80deedb
parent0429591d3bfd490a04e467e97b4490977fb54581
parent504b1b73f85263b47bba96207b0a615933f87b15
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel