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, 3 Mar 2009 00:32:36 +0000 (18:32 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Mar 2009 00:32:36 +0000 (18:32 -0600)
commit4bbf19c3714d24b246a380610aef6ab83afc01f7
tree568df0a36c59bf48420d09d3f9e4cc99200b61af
parent18513ebcb5ec756381225382a63146460eb13d6c
parent52e3c4e629c61e1273c2f48423f6b9c0c1365c85
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel