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, 12 Jan 2010 20:39:21 +0000 (14:39 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 12 Jan 2010 20:39:21 +0000 (14:39 -0600)
commit2b9ea885a5ccfc672b0fd05302a271bbcd61d17f
tree976e186634d60221d5fe6ec52ab811b6b879782c
parent7021908ce7f63df7c8a9e8e007471d8df96aa1b6
parentf58f4acab7737c6f185d6a4e056280869af22c01
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel