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/home/palacios/palacios into devel
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 18:57:00 +0000 (12:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 18:57:00 +0000 (12:57 -0600)
commit602c01cc782126a619d6b7f34ddcc194bbc74612
tree69f3c17267fef40d120487a989e455ba1d46f3c2
parent684e59f366917eb0d0495c677c182490031617f6
parent13d8e5d4035b90bf1ab8b1da115c7d6310c76526
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel