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, 4 Feb 2011 23:38:05 +0000 (17:38 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 4 Feb 2011 23:38:05 +0000 (17:38 -0600)
commit08acd192b161e69bc47414ee615e674d7736dd9c
treed4a8d91ede2bbcf422baceef70c81016df2141fd
parent11799589ba31ee388d35ec764cd69e837880ba08
parent0d1e0dd23b9c0897c3a315731a859c389273d713
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel