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 newskysaw.cs.northwestern.edu:/home/palacios/palacios into...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Nov 2011 17:10:50 +0000 (11:10 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Nov 2011 17:10:50 +0000 (11:10 -0600)
commit5e3bb26339e3a3ca09c057b28ab24463669053c8
treeeef1e2a283b2b2642e48faa1738e2e74a3193cc2
parent639f3d3bd42dd2218bcd994e423f3a5569ed7051
parentbcab692b40b809c628eb365c199ffd3c757a6cc7
Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel