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>
Thu, 3 Dec 2009 22:40:10 +0000 (16:40 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 3 Dec 2009 22:40:10 +0000 (16:40 -0600)
commitda1657c1b2c2bd79450953f8bffada73f040b556
treeaebf1778a374ffc08d104f2a5021309dc4dbf28b
parent5bf6d0c260240e314876a2fca8e3fd56bd6a1029
parent39c2c45da7d84a95c9a49ea7bd9bc3723ab8e192
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel