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, 1 Dec 2009 04:11:56 +0000 (22:11 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Dec 2009 04:11:56 +0000 (22:11 -0600)
commit3d9181a002f5f30881ee53fff4ec1b2ab8395b0a
tree104cd7b092472e01fd3cf6c663cb0d72159f58eb
parent17e0fe3ae80a90f7268462f6109ab68929b25e16
parentcbe86f61c0c15313cae03663a64ff36f9887cb8e
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel