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>
Sat, 17 Sep 2011 00:05:30 +0000 (19:05 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 17 Sep 2011 00:05:30 +0000 (19:05 -0500)
commitef9b4151c09c67502de3720b8fb8f42c10edd073
tree0c011f36413584c2720064878e4d744ed098553e
parent96c8702630006b04e8e8f762f059f5300660e612
parented58e44a111e3bb28e1b2fefd93fe7955962d682
Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel