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 ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:14:09 +0000 (16:14 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:14:09 +0000 (16:14 -0500)
commit8ddb560ffbaa333313659a52542e4ba1bcd10a3b
tree5a90eb103f3bc911dcdb832312c7d21beb4fa33b
parent5d4b8783bfb83ea364c3f133f69a9e8451e8f5e5
parentb90e3373d07b92968b28aef77f4dc68e6a264f12
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel