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, 27 Jul 2012 23:18:07 +0000 (18:18 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 27 Jul 2012 23:18:07 +0000 (18:18 -0500)
commit84f2bd6ac3a1dee6914c058dab45c561f65c8004
tree675b3bff43b65d3371ed34ed1f87f9b123552a0c
parentaf11d9f15d9f8061aec0e7752a5497e2df28c7ff
parentabfa178accc81df11dcc3afe7972e4c46640cb28
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel