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, 25 May 2010 21:35:57 +0000 (16:35 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 25 May 2010 21:35:57 +0000 (16:35 -0500)
commit59131f52dd171de5117b78b42ff92153c15a1601
tree0e4f7db9dc00501fd1c56c2efe232aaa3ab48e61
parente34c8533c691e3ff1fddc4f60dcf3e331cc963a4
parentfb5a5b9e42a98314f95acd301116fc2022a90f9c
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel